Patch kernel without rebooting