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