Changed the kernel name to stock one