Re: [U-Boot] [PATCH 14/48] x86: Tidy up a few minor issues with interrupts