[coreboot-gerrit] Patch set updated for coreboot: 11a4f31 NOTFORMERGE: VX900 early init, and EPIA M850 board