Update Kernel.php

bug