[coreboot] Patch set updated for coreboot: 4ba1a95 Supermicro H8QGI: fix IO-APICs number from 3 to 2 in buildOpts.c