In Task $3,$ you relied on the installation Makefile to "install" the new kernel for you, though you DID have to manually edit the bootloader config to get the special menu selection behavior. We're not going to make it THAT easy, though, for removing a kernel. In this task, we're asking you to remove the kernel you installed using a series of edits and commands typed at the Bash shell prompt. Note: Because we did a build from source, you cannot use $($or shouldn't use$)$ package managers to remove it $--$ so many of the package manager based tutorials simply won't work for this task. To properly remove a kernel manually, you must complete the following steps: