No, I have make a issue to kexts's developer and he said that the kexts have some problems with the RMISMBus with Ivy Bridge and older CPUs. how about you, did you manage to make that kext work with OpenCore by disabling VoodooPS2Mouse, Trackpad and did you try this before:
You could try using an SSDT to set _STA to zero for that PS2 device? Not entirely sure that'd work. It would make it dissapear I think from the IOService plane at least.
DefinitionBlock(/* I forget all this */) External (\_SB.LPCB.PS2M, DeviceObj) // This may not be the exact path to PS2M Scope (\_SB.LPCB.PS2M) { // or whatever the path is If (_OSI("Darwin")) { _STA = 0x00 } } }
Another alternative you could try doing is changing _HID to be something other than a PS2 device, using something similar to above. I'm gonna test this on my end I guess, and see what I come up with.
That said, I've not needed to do something like this, all I've needed to do is prevent VoodooPS2Mouse/VoodooPS2Trackpad from loading. Setting Enabled to false for those in the Config.plist is enough
The link is here: https://github.com/VoodooSMBus/VoodooRMI/pull/38#issuecomment-669643309