@Baio77 I re-did the test and it WORKED this time! Both the USB-C and the TB functions worked (TB tested with a DELL TB16 docker), with "TB Boot Support" disabled in BIOS.
This time, I placed the EFI folder to the NVME boot drive, instead of booting from an USB stick. Not sure if this was the reason it failed previously.
There is still a reliability issue to the TB/USB-C port activation. Sometime, I had to leave a USB3 stick in when booting, or the port does not come on alive (RP05 device is empty). Sometimes, I have reboot a couple of times.
Thank you again for your work!