Not quite the same issue, but similar in the sense that it was caused by a UEFI that didn’t conform to spec.
I have an HP laptop that I installed Debian on, and it would never actually boot to grub even though I checked the boot entries several times over. You could open the settings and choose the boot entry manually, so it’s not like it was a problem with the OS or with grub. Turned out, this model was hard coded to only allow a boot entry named “Windows Boot Manager” to be loaded by default. I used efibootmgr to rename the debian entry and it booted into grub straight away.
The Mineclone2 game for Minetest is pretty solid, and it’s got most of what Minecraft has, it seems. My son and I play it pretty often.