Re: [U-Boot] [PATCH v3 04/10] x86: Tidy up the PIRQ routing code a little