[coreboot] Where to find the coreboot_extra_version value