Ksplice: rebootless updates for the Linux kernel