Freebsd kullandığınız fiziksel veya sanal bir sunucuda işlemci değişikliği (upgrade) yapsanız dahi Freebsd bunu tanımayabilir. Freebsd kernelini SMP desteği vererek tekrar derlemeniz gerekecektir. Varsayılan SMP kernel derleme dosyasında PAE bulunmuyor. Aşağıdaki adımları yaparak PAE ve SMP desteği ile kernel derleyebilirsiniz.

cd /usr/src/sys/i386/conf/SMP dosyasını açıyoruz.

options SMP # Symmetric MultiProcessor Kernel

satırını yine aynı dizinde bulunan PAE dosyasının içine yapıştırıyoruz.

Daha sonra /usr/src dizini üzerinde

make buildworld KERNCONF=PAE

make installkernel KERNCONF=PAE

ve reboot ediyoruz.

Not : Kernel derlemeden önce yedek almanız tavsiye olunur.