[bootlin/training-materials updates] master: boot-time labs: kernel: fix kernel config option (5d3faf4d)

[Michael Opdenacker]

Repository : https://github.com/bootlin/training-materials
On branch  : master
Link       : https://github.com/bootlin/training-materials/commit/5d3faf4d67fb31df419f1906f57ede941f5863ee

>---------------------------------------------------------------

commit 5d3faf4d67fb31df419f1906f57ede941f5863ee
Author: Michael Opdenacker <michael.opdenacker at bootlin.com>
Date:   Thu Jun 15 19:54:12 2023 +0200

    boot-time labs: kernel: fix kernel config option
    
    Signed-off-by: Michael Opdenacker <michael.opdenacker at bootlin.com>


>---------------------------------------------------------------

5d3faf4d67fb31df419f1906f57ede941f5863ee
 labs/boot-time-kernel/boot-time-kernel.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/labs/boot-time-kernel/boot-time-kernel.tex b/labs/boot-time-kernel/boot-time-kernel.tex
index ea00d52b..d8fef36f 100644
--- a/labs/boot-time-kernel/boot-time-kernel.tex
+++ b/labs/boot-time-kernel/boot-time-kernel.tex
@@ -166,7 +166,7 @@ in the \code{~/boot-time-labs/results/kernel-size-arm-thumb2.ods} spreadsheet:
 
 \includegraphics[width=\textwidth]{labs/boot-time-kernel/kernel-size-arm-thumb2.png}
 
-Now, compile your kernel with \kconfig{CONFIG_ARM_THUMB}. Before you do
+Now, compile your kernel with \kconfig{CONFIG_THUMB2_KERNEL}. Before you do
 this, you could make a backup copy of your kernel source directory with
 \code{cp -al}, as a full rebuild of the kernel will be needed, and we
 may want to roll back later. Fortunately, thanks to our feature