[OpenBIOS] [PATCH 1/2] 40p: update interrupt routing code to match QEMU