Kernel versioning fixes

The fixes here allow multiple kernel packages to be installed / built at the same time.

Two things are done:
  - place the debug kernel image into a versioned directory
  - do not build the firmware files, or install them, as the kernel does not want to version those directories.