x86: Document how to write PIRQ information in the device tree