[OpenBIOS] Re: [PATCH 3/3] 40p: simplify IRQ swizzling