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