Sure.
Most of the code is grabbed from the SSDT for x1c6 which uses stock TB firmware and native macOS TB mode.
https://github.com/tylernguyen/x1c6-hackintosh
There are several ACPI renames: NTFY to XTFY, RP01._INI to XINI (to ignore original _INI and call revised INIT from PCI0._INI at the end), _PTS to ZPTS, _WAK To ZWAK, PXSX._PS0 to XPS0, PXSX._PS3 to XPS3.
If you can read what's with the log, here:
Interesting to see that the VID changes now that you mentioned RAM address may change in your Zbook thread. Log shows Realtek PCIe card VID 522A10EC instead of TB 15DA8086. I do see RAM address changing from F0100000 and F7800000.