ACPI fix for 5.12-rc7 Fix a build issue introduced by a previous fix in the ACPI processor driver (Vitaly Kuznetsov).
