But will that replace stock kernel? I have multiboot and want to keep stock kernel just incase I mess things up.