[coreboot] Haswell port