Fix a path error of the file AppKernel.php