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