[SeaBIOS] [RFC PATCH] ich9: Fix interrupt routing