board: arm: bcmstb: Declare get_ticks in timer.h