Kernel/Rebuild

Exit the kernel configuration and rebuild the kernel using the following command:

Do not forget to copy the newly compiled kernel image to the location. If applicable mount, and update the boot loader configuration prior to rebooting the system. For instance, when using GRUB2, these steps can be done by running the following commands:

In case of using EFI instead of grub, see EFI_stub_kernel.

Remember to reboot for the new kernel configuration to take effect: