[Bug 454462] Review Request: ksplice - Patching a Linux kernel without reboot