[coreboot-gerrit] Change in coreboot[master]: mb/ocp/deltalake: Configure IPMI FRB2 watchdog timer via VPD variable...