[bootlin/training-materials updates] master: Embedded Linux labs: add tips for enabling CONFIG_SND_USB_AUDIO (914e3299)

[Michael Opdenacker]

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

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

commit 914e32996b27ebe8d49c69b50cf66b0ff05f1e19
Author: Michael Opdenacker <michael.opdenacker at bootlin.com>
Date:   Thu Mar 31 19:59:47 2022 +0200

    Embedded Linux labs: add tips for enabling CONFIG_SND_USB_AUDIO
    
    Signed-off-by: Michael Opdenacker <michael.opdenacker at bootlin.com>


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

914e32996b27ebe8d49c69b50cf66b0ff05f1e19
 labs/sysdev-thirdparty/sysdev-thirdparty.tex | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/labs/sysdev-thirdparty/sysdev-thirdparty.tex b/labs/sysdev-thirdparty/sysdev-thirdparty.tex
index 793206a2..9aa9ce7b 100644
--- a/labs/sysdev-thirdparty/sysdev-thirdparty.tex
+++ b/labs/sysdev-thirdparty/sysdev-thirdparty.tex
@@ -17,7 +17,8 @@ automated tools.
 \section{Audio support in the Kernel}
 
 Recompile your kernel with support for USB audio cards:
-\kconfig{CONFIG_SND_USB_AUDIO}.
+\kconfigval{CONFIG_SND_USB_AUDIO}{y}. If necessary, find out
+which dependencies are missing to allow for such a setting.
 
 At this stage, the easiest solution to update your kernel is probably
 to get back to copying it to RAM from \code{tftp}. Anyway, we will have