[bootlin/training-materials updates] master: labs/sysdev-kernel-cross-compiling-stm32: fix typo (f0c7d88d)

[Thomas Petazzoni]

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

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

commit f0c7d88dddba021f58ba73736206b30fc687cc2a
Author: Thomas Petazzoni <thomas.petazzoni at bootlin.com>
Date:   Tue Jan 28 22:04:15 2020 +0100

    labs/sysdev-kernel-cross-compiling-stm32: fix typo
    
    Signed-off-by: Thomas Petazzoni <thomas.petazzoni at bootlin.com>


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

f0c7d88dddba021f58ba73736206b30fc687cc2a
 .../sysdev-kernel-cross-compiling-stm32.tex                             | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/labs/sysdev-kernel-cross-compiling-stm32/sysdev-kernel-cross-compiling-stm32.tex b/labs/sysdev-kernel-cross-compiling-stm32/sysdev-kernel-cross-compiling-stm32.tex
index 8b771733..6f7c2749 100644
--- a/labs/sysdev-kernel-cross-compiling-stm32/sysdev-kernel-cross-compiling-stm32.tex
+++ b/labs/sysdev-kernel-cross-compiling-stm32/sysdev-kernel-cross-compiling-stm32.tex
@@ -17,7 +17,7 @@ Go to the \code{$HOME/embedded-linux-labs/kernel} directory.
 \section{Target system}
 
 We are going to cross-compile and boot a Linux kernel for the
-STM32MP157A-DKA Discovery kit.
+STM32MP157A-DK1 Discovery kit.
 
 \section{Kernel sources}