Re: [coreboot] coreinfo: Add dmesg module to display v3 printk buffer