[U-Boot] [PATCH 3/4] x86: Support platform PIRQ routing