# CONFIG_ARM_TIMER_SP804 is not set