Here are 2 procedures for troubleshooting UEFI in QubesOS. Procedure A) is used if the installation completes successfully but then there is a system crash or restart on the next boot. Procedure B) is used if the boot device is not recognized after installation.\\\Procedure A:\1. Perform installation normally, but don’t reboot the system at the end yet.\2. Go to tty2 (Ctrl-Alt-F2).\3. Execute: "sed -i -e 's/^options=.*/\0 efi=attr=uc/' /mnt/sysimage/boot/efi/EFI/qubes/xen.cfg"\4. Go back to tty6 (Ctrl-Alt-F6) and click Reboot.\5. Continue with setting up default templates and logging in to Qubes.\\Procedure B:\1. Copy the /boot/efi/EFI/qubes/ directory to /boot/efi/EFI/BOOT/ (the contents of /boot/efi/EFI/BOOT should be identical to /boot/efi/EFI/qubes besides what is described in steps 2 and 3): "cp -r /boot/efi/EFI/qubes/. /boot/efi/EFI/BOOT"\2. Rename /boot/efi/EFI/BOOT/xen.cfg to /boot/efi/EFI/BOOT/BOOTX64.cfg: "mv /boot/efi/EFI/BOOT/xen.cfg /boot/efi/EFI/BOOT/BOOTX64.cfg"\3. Copy /boot/efi/EFI/qubes/xen-*.efi to /boot/efi/EFI/qubes/xen.efi and /boot/efi/EFI/BOOT/BOOTX64.efi. For example, with Xen 4.8.3 (you may need to confirm file overwrite): "cp /boot/efi/EFI/qubes/xen-4.8.3.efi /boot/efi/EFI/qubes/xen.efi" and "cp /boot/efi/EFI/qubes/xen-4.8.3.efi /boot/efi/EFI/BOOT/BOOTX64.efi"\\\I have just installed QubesOS but after the reboot it crashes. Pick the right procedure and tell me what to do. Only explain the one single procedure which fits to my problem.