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