`$this->kernel->getStartTime()` cannot return null. So you can safe a condition check.
Btw unrelated, kernel->getStartTime() returns -INF, which is probably also problematic as INF not always supported and it violates the phpdoc which says, an integer is returned.