Update kernel to fix castle memory leak