[OpenBIOS] Openbios code for IRQ or interrupt handling?