sched/walt: include missing header for arm_timer_read_counter()