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

[Gerd Hoffmann]

  Hi,

> Do you know, for this particular optionrom, if int19 is recaptured and
> the user then chooses it from the boot menu, does it continue to work?

I've asked them to test that.

I expect it continues to work given that at least some firmware
implementations have a knob to disallow int19 hooks, but you never
know ...

cheers,
  Gerd