Re: [U-Boot] [PATCH 04/12] microblaze: intc: Registering interrupt should return value