Because my blog is not written by an AI, I'll get straight to the point: Fedora (and other RH-based distros) do not load the "play" module in their variant of GRUB, but it does exist in the grub2-efi-x64-modules package. So what you have to do is make GRUB load it. Here's how: