// drivers/acpi/scan.c static bool acpi_prp0001_enabled = true;
), the kernel uses its existing Device Tree matching table to find the correct driver, even if the system is running in ACPI mode. Enumeration acpi prp0001 0
❌