[bootlin/training-materials] 76cadc: labs/sysdev-kernel-cross-compiling: disable gcc pl...

[Thomas Petazzoni]

  Branch: refs/heads/master
  Home:   https://github.com/bootlin/training-materials
  Commit: 76cadc8d4379440cb3c79167135c10d2c688e1e1
      https://github.com/bootlin/training-materials/commit/76cadc8d4379440cb3c79167135c10d2c688e1e1
  Author: Thomas Petazzoni <thomas.petazzoni at bootlin.com>
  Date:   2022-09-27 (Tue, 27 Sep 2022)

  Changed paths:
    M labs/sysdev-kernel-cross-compiling/sysdev-kernel-cross-compiling.tex

  Log Message:
  -----------
  labs/sysdev-kernel-cross-compiling: disable gcc plugin in the kernel

Otherwise this requires installing libgmp/libmpc.

Signed-off-by: Thomas Petazzoni <thomas.petazzoni at bootlin.com>