Re: Is it acceptable to package non-bootable kernels?