Re: making custom kernels easier to build