Is it possible to upgrade the Bios from Linux? I think it's just a windows-only bios upgrade from HP right? Will it work in Freedos?