During the changes a step was lost on installing the kernel. Provide the infrastructure to restore this step. Also a variable DEFAULT_KERNEL to be overriden in any case