[OpenBIOS] Re: [PATCH 0/3] 40p: Match QEMU Raven IRQ swizzling change