I had the same problem. It was solved here but please ensure twice that that kernel is not installed with the mhwd-kernel --listinstalled command before you delete a kernel that way or you’ll end up with an unbootable system!
I had the same problem. It was solved here but please ensure twice that that kernel is not installed with the mhwd-kernel --listinstalled command before you delete a kernel that way or you’ll end up with an unbootable system!