Add Kernel/Kernel.php file.