[coreboot] #144: TYAN S7012 support