Log configuration options at startup

Also neaten up the startup logs.

Change-Id: Ibea5ec69cff67829fc1096ed1301803f004d6529
Merge "Log configuration options at startup"