Re: [coreboot] coreinfo: ramdump_module garbage