I would like to, but only the 5.3.18* kernel appears in my boot menu, although I installed the 5.16.4 kernel via rpm -U . I guess I am missing something.