yann@628: # x86_64 specific options
yann@628: 
yann@628: config ARCH_x86_64