[coreboot] r3543 - trunk/coreboot-v2/targets