[PATCH 0/3] timer: add SP804 DM_TIMER driver (and use it)