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.
Oh yeah, these guys have some crazy energy they give off. Their live performances are very much like this video, really. Not many bands give you a nunchaku solo.