[U-Boot] [PATCH 06/12] microblaze: intc: Add device-tree driver configuration