[bootlin/training-materials] ab6654: Replace "BIOS ACPI" by "ACPI"

[Michael Opdenacker]

  Branch: refs/heads/master
  Home:   https://github.com/bootlin/training-materials
  Commit: ab66541fe9637ee8860258496468de286776ec19
      https://github.com/bootlin/training-materials/commit/ab66541fe9637ee8860258496468de286776ec19
  Author: Michael Opdenacker <michael.opdenacker at bootlin.com>
  Date:   2022-09-01 (Thu, 01 Sep 2022)

  Changed paths:
    M slides/kernel-device-model/kernel-device-model.tex
    M slides/sysdev-kernel-building/sysdev-kernel-building.tex

  Log Message:
  -----------
  Replace "BIOS ACPI" by "ACPI"

BIOS is long gone now,  replaced by UEFI

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