Re: [coreboot] Where to find the coreboot_extra_version value