[coreboot-gerrit] Patch merged into coreboot/master: southbridge/intel/ibexpeak: transition away from device_t