[coreboot] patch for support mainboard pistachio: