Due to an influx of spam, we have had to temporarily disable account registrations. Please write an email to firstname.lastname@example.org, with your desired username, if you want to get access. Sorry for the inconvenience.
Use systemd-stub of the appropriate architecture. The system may have
linux*.efi.stub files available, but only one of them will
actually boot on the system.
Also detect when a 64-bit x86_64 system has a 32-bit IA32 UEFI and use the IA32 stub accordingly.