Update no_boot_patch_kernel.md