debian.master/rules.d/x32.mk

   1 human_arch      = 64 bit x86 (32 bit userspace)
   2 build_arch      = x86_64
   3 header_arch     = $(build_arch)
   4 defconfig       = defconfig
   5 flavours        =
   6 build_image     = bzImage
   7 kernel_file     = arch/$(build_arch)/boot/bzImage
   8 install_file    = vmlinuz
   9 loader          = grub
  10 vdso            = vdso_install
  11 no_dumpfile     = true
  12 uefi_signed     = true
  13
  14 do_flavour_image_package = false