Signed-off-by: David Abdurachmanov <david.abdurachmanov@gmail.com>
# CONFIG_ARM_TIMER_SP804 is not set