Re: [PATCH 4/6] util: make it easier to add lines to the log "init banner"