Não tinha visto a resposta, você escreveu dois posts em sequência ao invés de editar o último que era seu.
A kext sincroniza o TSC. Resumindo ela corrige o problema que aparecia no seu log
Nov 13 21:24:43 Andrejs-[color=#FF0000]Mac-Pro[/color] kernel[0]: [color=#FF0000]Unsynchronized TSC[/color] for cpu 1: 0x00000000b72f9cd4, delta 0x69cff88c
Nov 13 21:24:43 Andrejs-Mac-Pro kernel[0]: Unsynchronized TSC for cpu 2: 0x00000000b763b54c, delta 0x69cff88c
Nov 13 21:24:43 Andrejs-Mac-Pro kernel[0]: Unsynchronized TSC for cpu 3: 0x00000000b797c3e0, delta 0x69cff8a8
Com esse CPU você deveria usar SMBIOS de iMac, não de MacPro. Teste sem a kext, usando iMac12,1 no SMBIOS.