Added some CR's to kernels.rkt