Huh. I’ve installed Linux on anything from an old 32bit netbook to a Fujitsu convertible that both had such a fucked up UEFI implementation they couldn’t even boot a standard Windows ISO without Ventoy in grub mode, as well as a cobbled-together Workstation with Nvidia graphics, and never ran into issues like this.