highbank: switch to use the Arm SP804 DM_TIMER driver