Re: [PATCH v2 0/8] Enable CONFIG_TIMER for all Kirkwood / MVEBU boards