Re: [OpenBIOS] [PATCH 1/6] Fix encoding of PCI and IDE "interrupts" properties