AFAIU, this is the same value as `$realKernelClass` created above and which was used before. I must be missed something here but I don't see the difference.