Helper scripts to build and install kernels