What are you talking about? The BIOS has very little to do with the OS. Sure the flasher may be OS specific, but there are often alternative methods for eg. for Linux.

What exactly are you calling "their product"?