debugging: labs: clarify images directory name

Use the complete 'output/images/' name and format in monospace.

Signed-off-by: Luca Ceresoli <[email protected]>

labs/debugging-setup/debugging-setup.tex

@@ -29,10 +29,11 @@ \section{Building the image}
 $ make
 \end{bashinput}
 
-This will take a few minutes. At the end of the build, a images directory will
-contain the images that can be used on the board. During this course, we will
-use a kernel located on a sdcard and a rootfs via NFS. This will let us transfer
-data freely from and to the target board.
+This will take a few minutes. At the end of the build,
+the \code{output/images/} directory will contain the images that can be
+used on the board. During this course, we will use a kernel located on a
+sdcard and a rootfs via NFS. This will let us transfer data freely from and
+to the target board.
 
 The rootfs should be extracted at \code{/home/$USER/debugging-labs/nfsroot}
 using this command: