[HttpKernel] No need to check if $booted before calling boot()