[SeaBIOS] Re: [PATCH v3] optionrom: disallow int19 redirect for pnp roms.