# Dual timer module
CONFIG_ARM_TIMER_SP804=y
CONFIG_CLK_SP810=y