user-doc: properly typeset CONFIG options

user-doc/user-doc.tex

@@ -119,11 +119,17 @@ While U-boot also supports booting from SPI NOR flash, it has been disabled by d
 make menuconfig
 \end{minted}
 
-Enable the CONFIG\_SPL\_SPI\_SUNXI option.
+Enable the {\tt CONFIG\_SPL\_SPI\_SUNXI} option.
 It is possible that the resulting binary will be too large.
-In that case, an option like CONFIG\_SPL\_MMC\_SUPPORT can be disabled to save some space.
+In that case, an option like {\tt CONFIG\_SPL\_MMC\_SUPPORT} can be disabled to save some space.
 After the configuration options have been set up, rebuild the u-boot binary again.
 
+\subsection{Linux kernel}
+
+{\tt CONFIG\_KEXEC}
+
+\subsection{initramfs}
+
 \section{Flashing ROTS}
 
 \subsection{Using an External Programmer}