Re: [OpenBIOS] [patch 5/6] Preliminary support for softint handler with trap to bug on other irqs