Update EventKernel.php