Re: [U-Boot] [PATCH 11/15] x86: Tidy up the PIRQ routing code a little