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