What all does a Linux newbie need to learn to safely delete Linux kernel configuration items like CONFIG_INTEL_TXT, without causing kernel panic or OS to become unstable?