[SeaBIOS] Handling SMI problem