ACPICA: Fix for possible fault in acpi_ex_release_mutex