BIOS updaten, wenn nur Linux auf PC?