I think the two things were related. I’ve rolled the kernel back then re-installed it and all the kernel files are there now. Some weren’t before the corruption was fixed. I’ll need to reboot to test this some time but I’ll leave that a day or two just to let things stabilise a bit.