RE: making custom kernels easier to build