Re: [coreboot] coreinfo: Show NVRAM dump index numbers