ACPI: avoid gcc warnings in ACPI mutex debug code