Re: [PATCH 0/6] Enable CONFIG_TIMER for all Kirwood / MVEBU boards