Thanks for the prompt answer.
On similar questions for the Jetson AGX Xavier and Jetson Xavier NX I’ve seen the suggestion to unbind and then bind the PCIe driver. What would stop me from effectively achieving hotplug capability if I trigger this process upon detection of the PCIe SD Express card insertion (provided proper power sequencing of the SD Express card is handled by the custom carrier board)?