On Wed, Jun 03, 2020 at 01:38:48PM +0000, Andy Smith wrote:
My general rule when clearing out unused kernel pages
is to keep
^^images
both the currently-running kernel and the one it's
supposed to run.
So in your case that's linux-image-4.15.0-88 and -101.