[coreboot] New patch to review for coreboot: 316d946 Supermicro H8QGI: fix IO-APICs number in buildOpts.c