Re: [U-Boot] [PPC] get_timer without CONFIG_INTERRUPTS