Compilare il kernel