[OpenBIOS] [patch 0/1] corrected softint handler v1