[OpenBIOS] [patch 1/1] v1 Preliminary support for softint handler with trap to bug on other irqs