Re: Could the nice people at Mint ...
Check out this page - it includes modified ISOs of popular distros (if you trust the author) as well as a small C program to modify ISOs yourself. It's intended for Core2Duo Macs but should also apply to 32-bit UEFI PCs in general:
https://mattgadient.com/linux-dvd-images-and-how-to-for-32-bit-efi-macs-late-2006-models/