Does anyone know which kext I should possibly use for this board? And with the prebuild empire efi 1.085r2 I always get a kernel panic. I have tried to use cpus=1 but it still doesn't work. Can empire efi make it use a different kernel during boot that works?