Re: [PATCH 3/3] highbank: switch to use the Arm SP804 DM_TIMER driver