Fix two issues in `System::boot()`