FC4 - What is smp kernel?