Why did it install PAE kernel in F11