Kernel for Crespo Based on JB 4.2 Kernel