After a few minutes, the update completed, and John's system rebooted. He entered the BIOS settings again to verify that the new version, 7C26, was indeed running. Everything seemed to be in order.