choice prompt "Select i.MXS board type" config MACH_MX28EVK bool "Freescale MX28 EVK board" depends on ARCH_MX28 select USB_ARCH_HAS_EHCI config MXS_TIMER_WITH_MACH bool "Timer with architecture." endchoice