config ARM_SMP_TWD bool depends on ARM && CPU_V7 config CLOCKSOURCE_BCM2835 bool depends on ARCH_BCM2835 config CLOCKSOURCE_NOMADIK bool depends on ARM