5 posts were split to a new topic: I see a 6.x kernel marked as recommended. Can anyone tell me how to switch?