     1.1 --- a/config/arch/x86_64.in	Sun Oct 05 15:32:00 2008 +0000
     1.2 +++ b/config/arch/x86_64.in	Sun Jan 31 13:04:34 2010 +0100
     1.3 @@ -1,6 +1,7 @@
     1.4  # x86_64 specific options
     1.5  
     1.6  config ARCH_x86_64
     1.7 +    select ARCH_64
     1.8      select ARCH_SUPPORT_ARCH
     1.9      select ARCH_SUPPORT_CPU
    1.10      select ARCH_SUPPORT_TUNE
branch	1.3
changeset 1768	2cab50c41bd9
parent 903	9fb0f81b4416
child 1488	ff95f62f84a1