New comment by Piraty on void-packages repository https://github.com/void-linux/void-packages/issues/24106#issuecomment-743486972 Comment: I recall this issue came up once before ..? passing ARCH=aarch64 is wrong, it's named arm64 in the kernel