On 15 Jan 2023 at 11:24, Felix Miata wrote:

[...]

From what I understand memtest86 is a commercial
product, so it isn't something that could be included with
Fedora directly or distributed with a free project?

Where exactly did you get the mt83x64.efi file? did a
quick search, and didn't find a link.