I will withdraw this. On further testing, it did not work with the previous "shim.efi" and "grub.efi" either, though the error message was different.