fa26d0c
Fix a build issue introduced by a previous fix in the ACPI processor driver (Vitaly Kuznetsov).