[rocky] Re: Problem booting after kernel upgrading