Single-instance-only checkpointing
Clean up boot output slightly