Not necessarily, maybe the main kernel has to keep running so you won’t be able to hot swap that (haven’t read the thing yet). In any case we’ve had updates without reboot for a while for a while, but it’s a pain to set up, there’s even a song about it https://youtu.be/SYRlTISvjww