Re: [OpenBIOS] [PATCH] Interrupt/Timer property