Re: [U-Boot] [RFC] ARM interrupt handling - was: interrupt handling