microblaze: Fix return value from xilinx_timer_init