Re: [U-Boot] [PATCH] microblaze: fix build failure due to undefined reference to `get_ticks'