Issue #2031589 by Mark Carver: DrupalKernel.php coder review.