The pirate bay will be plased with this
Not hard to dump the BIOS from a known-good board and flash it into another; it's the usual way to recover from a flashing operation that went seriously wrong, and any decent repair shop will have the reader/writer hardware for this.
Not only can they publish torrents targeted at the sysadmins willing to pirate the updates, they can also setup fake websites that look legitimate and offer them for free.
Especially easy considering the mess that HP support URL are.