failed to find AppleThunderboltGenericHAL::registerWrite32

[kevin335200]

Device : Dell Inspiron 7590 with JHL6540
By using this clover config i can get my external GPU working as an PCIE device before.
https://github.com/tctien342/Dell-Inspiron-7591-Hackintosh/tree/ca2112a33a55feb609679138c528210058dc3833/EFI/CLOVER/ACPI/patched
ioreg.zip

I'm trying to follow your ACPI patching guide, but stuck at step 1. Bootlog shows "failed to find AppleThunderboltGenericHAL::registerWrite32", but AppleThunderboltGenericHAL is already initialized before. So it seems like this kext doesn't work and ICM is still active. I cannot get any log from command "log stream --process 0 | grep ACPI".

Any help would be appreciated, thanks a lot.