[U-Boot] [PATCH v2 0/4] x86: Add platform PIRQ routing