[coreboot] [OT] Git and update (was: Re: prettyprint for hardware registers)