Updated kernel.