debian.master/rules.d/x32.mk

   1 human_arch      = 64 bit x86 (32 bit userspace)
   2 build_arch      = x86
   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 vdso            = vdso_install
  10 no_dumpfile     = true
  11 uefi_signed     = true
  12
  13 do_flavour_image_package = false