Hi, if you can provide one, I'll be happy to forward it upstream. Just a few notes: please put it under MIT license, and please sync with Oracle developers, to know how and if they are interested in it.
I would really like to avoid having such an huge difference between Debian and Upstream, such patches are too difficult to debug and maintain downstream. I hope you agree, and if you can upstream a more Open Source friendly BIOS, thumbs up! cheers, G.

