Kernel: use Symfony kernel.