# x86_64 specific options

config ARCH_x86_64