[OpenBIOS] Re: R128 interrupts