Just a wild train of thought on my part... apparently some people suffer from repetitive boot sequence coups. How far fetched would be an idea, to try to embed the rEFInd in a pre-existing UEFI image? UEFItool could help with the image manipulation, maybe the rEFInd binary could be renamed and placed instead of some "factory" module responsible for the actual booting of on-disk EFI loaders... (if not for the boot sequence itself). I haven't tried this myselfs, based on past experience with trying to enable UEFI PXE boot in a particular APTIO image the chances of success are slim, so this is merely a cheeky request for comment...