Comment # 51 on bug 76490 from Kevin McCormack

Tobias, I don't know how to do that. If you can explain or point me in the
right direction I'd be happy to upload the bios.