Re: [coreboot] prettyprint for hardware registers