Hacker News Reader

But you still need to reboot for the new kernel to go live right? Or is the kernel switched via kexec or something?

Yes, there's nothing special about the kernel upgrade. You either reboot or kexec.