emm… I didn’t have a “fixed dtbo” actually. Because I have checked the /boot/tegra234-p3737-overlay-pcie.dtbo after installed JL 35.1, it matched the requirement you mentioned here AGX Orin Devkit PCIE Power JL 35.1 - #5 by WayneWWW, both ids and GPIO H,4.
In addition, “JL 35.1 having the fix” is from here AGX Orin Devkit PCIE Power JL 35.1 - #3 by WayneWWW