[coreboot-gerrit] Change in coreboot[master]: mb/supermicro/x11ssm-f: configure "POST complete" gpio for IPMI driver