Update kernel.php