Yes BIOS (the firmware) did the resource allocation, which is very complicated and only specific to Thunderbolt hot-plug. But what's the difference to ASL code, which took care of platform specific implementation and provides abstracted (and not well documented) function call to OS?