[bootlin/training-materials] 8760b9: Embedded-linux: build kernel using a patch

[Michael Opdenacker]

  Branch: refs/heads/master
  Home:   https://github.com/bootlin/training-materials
  Commit: 8760b9cf2d4a11e8ce78257fcb284d508f1aedae
      https://github.com/bootlin/training-materials/commit/8760b9cf2d4a11e8ce78257fcb284d508f1aedae
  Author: Michael Opdenacker <michael.opdenacker at bootlin.com>
  Date:   2023-01-19 (Thu, 19 Jan 2023)

  Changed paths:
    M labs/sysdev-buildroot/sysdev-buildroot.tex
    M labs/sysdev-system-integration/sysdev-system-integration.tex

  Log Message:
  -----------
  Embedded-linux: build kernel using a patch

That's much less time consuming than cloning a local tree,
and easier to set up.

Signed-off-by: Michael Opdenacker <michael.opdenacker at bootlin.com>