# x86 specific options

config ARCH_x86