Revert "Kernel debugging: fix compile and syntax issues"

This reverts commit 976b82b.

The kernel debugging changes was WIP, so should not have been
committed yet.

slides/kernel-driver-development-debugging/kernel-driver-development-debugging.tex

@@ -105,13 +105,13 @@ \section{Kernel debugging}
   \begin{itemize}
   \item Messages are visible only once the console driver has been initialized.
   \item The console driver is simpler than a complete serial driver
-    and is initialized earlier than the serial driver
-  \item But core subsystems are still initialized before, such as
-    memory, timer or interrupt; if a crash occurred there, then no
-    messages are visible
-  \item On the ARM (32 bit) architecture most of the SoCs implement
+    and is initialize earlier than serial driver
+  \item But core subsystem are still initialized before, such as
+    memory, timer or interrupt, if a crash occurred there, then no
+    message are visible
+  \item on arm (32 bits) architecture most of the SoC implement the
     \code{early_printk} support
-  \item Activate it with \kconfig{CONFIG_DEBUG_LL} and \kconfig{CONFIG_EARLYPRINTK} and add
+  \item \Activate it with kconfig{CONFIG_DEBUG_LL} and \kconfig{CONFIG_EARLYPRINTK} and add
     \code{earlyprintk} to the kernel command line.
   \end{itemize}
 \end{frame}