[coreboot] alix1c and v3