If you want to boot DragonFly on your UEFI machine, and also OpenBSD, and also Linux, Martin Aleksandrov Ivanov has you covered.