# Some 32-bit architectures need 64-bit kernels and we still build # these as the "wrong" architecture rather than mandating multiarch. # vmlinux needs extra sections that would normally be stripped.