diff --git a/chapter10/kernel.xml b/chapter10/kernel.xml
index d26f4b6fb..9a7ca42f3 100644
--- a/chapter10/kernel.xml
+++ b/chapter10/kernel.xml
@@ -498,6 +498,26 @@
chown -R 0:0 on the linux-&linux-version; directory to ensure
all files are owned by user root.
+
+ If you are updating the configuration and rebuilding the kernel
+ from a retained kernel source tree, normally you should
+ not run the
+ make mrproper command. The command would purge
+ the .config file and all the
+ .o files from the previous
+ build. Despite it's easy to restore .config from
+ the copy in /boot, purging all
+ the .o files is still a waste:
+ for a simple configuration change, often only a few
+ .o files need to be (re)built
+ and the kernel build system will correctly skip other
+ .o files if they are not
+ purged.
+
+ On the other hand, if you've upgraded GCC, you should run
+ make clean to purge all the
+ .o files from the previous
+ build, or the new build may fail.
@@ -509,17 +529,6 @@
complete.
-
- The headers in the system's include directory (/usr/include) should
- always be the ones against which Glibc was compiled,
- that is, the sanitised headers installed in . Therefore, they should
- never be replaced by either the raw kernel headers
- or any other kernel sanitized headers.
-
-