This was tested using a custom INSTALL kernel. The current one is >4Mb
which the cats firmware can't currently boot. We need to decide what
needs to be removed from INSTALL.
Also move the elf2aout conversion to be last in the build sequence, this means that strip is run on the elf kernel.
Also have dbsym run on the kernel, this should allow us to have symbols in the kernel.
This now means kernels boot and run, and can also have ddb symbols.