1497162: Eliminate the use of exit in core. PHPDoc fix for DrupalKernel