Re: [U-Boot] [PATCH v2 3/3] x86: Document how to write PIRQ information in the device tree