[coreboot] Patch set updated for coreboot: 8ef54d0 mainboard: add avalue/eax-785 ITX mainboard