kernel/include/config/ARM_TIMER_SP804