Updating the virtual desktop machine BIOS