Comment by layer8

That’s not strictly true: https://askubuntu.com/a/731993

I semi-regularly have to reboot my Linux system despite the kernel remaining unchanged.