Re: [U-Boot] [PATCH 10/17] board_f: Use timer_init() on all archs