Re: [SeaBIOS] [PATCH] rtc: Support disabling the RTC timer irq support