[bootlin/training-materials updates] master: Kernel labs: remove unnecessary instructions (5f506aec)

[Michael Opdenacker]

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

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

commit 5f506aec858a875c5208c271a7f44222058b29b1
Author: Michael Opdenacker <michael.opdenacker at bootlin.com>
Date:   Fri Mar 6 15:15:03 2020 +0100

    Kernel labs: remove unnecessary instructions
    
    - CONFIG_PROVE_LOCKING is already disabled by default
    
    Signed-off-by: Michael Opdenacker <michael.opdenacker at bootlin.com>


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

5f506aec858a875c5208c271a7f44222058b29b1
 .../kernel-compiling-and-nfs-booting.tex                               | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/labs/kernel-compiling-and-nfs-booting/kernel-compiling-and-nfs-booting.tex b/labs/kernel-compiling-and-nfs-booting/kernel-compiling-and-nfs-booting.tex
index e6be9b86..f09b9743 100644
--- a/labs/kernel-compiling-and-nfs-booting/kernel-compiling-and-nfs-booting.tex
+++ b/labs/kernel-compiling-and-nfs-booting/kernel-compiling-and-nfs-booting.tex
@@ -84,9 +84,6 @@ Add the below options to support networking over USB device:
 	so that \code{CONFIG_USB_ETH=y}
 \end{itemize}
 
-Disable \code{CONFIG_PROVE_LOCKING} to work around a locking issue in
-the USB Gadget support.
-
 Make sure that this configuration has \code{CONFIG_ROOT_NFS=y} (support
 booting on an NFS exported root directory).