mkkernel: Initial support for kernel installer