Changed back to original kernel name to better support other prebuild kernels