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