[SeaBIOS] How to add user-defined interrupt to SeaBIOS?