New comment by fosslinux on void-packages repository https://github.com/void-linux/void-packages/pull/25267#issuecomment-736922690 Comment: Oh, unfortunate. Is it possible to build x86_64-efi for i686? If not, maybe that's not something we should support at all, i686 on x86_64 is not a common thing and if someone has an isolated usecase for that using the BIOS instead of UEFI is probably the better bet anyway.