Hello!
The current iso has an issue with GRUB, we are aware of that.
First boot into the live iso,
then run these commands:
sudo mount -o subvol=@ /dev/yourroot /mnt
sudo mount /dev/yourefi /mnt/boot/efi
sudo arch-chroot /mnt
Then in chroot
rm -rf /boot/grub
rm -rf /boot/efi/EFI
grub-install --target=x86_64-efi --efi-directory=/boot/efi --bootloader-id=crystal --boot-directory=/boot
grub-mkconfig -o /boot/grub/grub.cfg
Replace yourroot with your root partition,
and yourefi with your EFI partition.
(Run lsblk to see their IDs)
