[U-Boot-Users] [PATCH ARM/AT91 01/10] Use timer_init() instead of board supplied interrupt_init()