I tried it with all sorts of combinations. If you download the EFI from release page---the main repo isn't updated---I mentioned above, it will include VoodooI2C and VooDooPS2 as well (Although, it works fine without any PS2 kexts)
My keyboard works. But there's some horrible issue with the...