[coreboot-gerrit] Change in coreboot[master]: driver/thunderbolt: Driver for allocating hotplug resources