Estas kexts server para controlar o speedstep do processador, basicamente faz com que a velocidade do processador seja variável e não esteja este sempre a queimar, o VoodooPowerMini.kext é destinado a portáteis e o VoodooPowerAcpi.kext é destinado a desktops, não tenho a certeza mas penso que estas kexts não são compatíveis com está NullCPUPowerManagement.kext, seguindo a lógica...