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

[Gerd Hoffmann]

On Fri, Nov 30, 2018 at 12:53:38PM +0100, Gerd Hoffmann wrote:
>   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.

Feedback arrived:  Yes, picking a nic from the boot menu continues to
work with recaptured int19.

cheers,
  Gerd