Why not use a bootable USB key for updating the BIOS?