[SeaBIOS] Re: patch: add run-time option to load but not execute option roms