Hi Hervé. The patched AppleIntelCPUPowerManagement kexts works for my Xeon W3690 (Gulftown) as well. My HP Z400 hangs with a Kernel panic at boot with vanilla AICPUPM kext (Mojave 10.14.4) but
using your patched kext it works fine despite is not a Sandy/Ivy Bridge cpu. Thank you!!
Rob