Re: [SeaBIOS] [PATCH] pic: The default hardware interrupt handlers should not take a parameter