Thanks. I honestly hope the bug will be fixed in future versions.
I also can confirm this is the cause of the NVME not booting. If you toggle the gpio manually before the boot, the NVME will be detected just fine. I tried recompiling the bootloader, but gave up after battling errors for half a day.
1. You're right, i found this while checking against the schematic myself, and then verified it.
2. I haven't checked power sequencing. Honestly this is out of my comfort zone at the moment.
3. I would if I knew where. That is why I made the forum post here, i hope it would dripple into the upstream. If you expect something from me here, please let me know,
Cheers,
Stefan.