F23 beta TC4, old kernel boots by default