[coreboot] Question regarding reflashing/updating