# Some 32-bit architectures need 64-bit kernels and we still build
# these as the "wrong" architecture rather than mandating multiarch.
linux-image-6.1.0-18progress6.99u1-mips32r2eb: binary-from-other-architecture *boot/vmlinu*
linux-image-6.1.0-18progress6.99u1-mips32r2eb: binary-from-other-architecture *lib/modules/*

# vmlinux needs extra sections that would normally be stripped.