User reports issues with creating a bootable USB for NixOS and switching to Void Linux, as the USB is not detected in the BIOS menu.