Update Kernel.php

Remove extra whitespace