Re: [U-Boot] [PATCH 09/12] microblaze: timer: Add device-tree driver configuration