tools/build/options/WITH_KERNEL_BIN

   1 Generate and install kernel.bin from kernel as part of the normal build and
   2 install processes for the kernel. Available only on arm and arm64.
   3
   4 Usually this will be added to the kernel config file with:
   5
   6 makeoptions     WITH_KERNEL_BIN=1
   7
   8 though it can also be used on the command line.