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