Your suggestion worked (sort of). There was a glitch. GRUB was installed to the NVMe UEFI partition, so I could not boot it, but I think that's my fault. I was too quick and I let the installer do the partitioning, so it created the UEFI partition which it should not. Nevertheless, I've had a...