config/arch/x86_64.in
2009-08-28 x86_64: is a MMU-aware arch, so select ARCH_USE_MMU
2008-11-07 Do not autodetect 64-bit archs, have them tell be 'select'-ing ARCH_64 in the configuration.
2008-10-05 Separate the architecture config file and function script.