# Some 32-bit architectures need 64-bit kernels and we still build
# these as the "wrong" architecture rather than mandating multiarch.
linux-image-6.9.9-progress7.99-4kc-malta: binary-from-other-architecture *boot/vmlinu*
linux-image-6.9.9-progress7.99-4kc-malta: binary-from-other-architecture *lib/modules/*

# vmlinux needs extra sections that would normally be stripped.
linux-image-6.9.9-progress7.99-4kc-malta: unstripped-binary-or-object *boot/vmlinu*