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