Add latest Linux kernel versions 2.6.25.18 & 2.6.26.6.
Fix using Linux kernel versions 2.6.25.{15,16,17}.

/trunk/config/kernel/linux.in | 16 13 3 0 +++++++++++++---
1 file changed, 13 insertions(+), 3 deletions(-)

 # Compute x86_64-specific values

 CT_DoArchValues() {

     # The architecture part of the tuple:

     CT_TARGET_ARCH="${CT_ARCH}"

 }