[SeaBIOS] Re: Handling SMI problem