One installation is completed, the PC will reboot, and you can install the 64-bit operating system of your choice. I’m also trying to get the 32-bit BIOS for people who want to unbrick their device to re-install Windows. I have not tried these instructions myself, but I know at ...