ACPICA: fix acpi_ex_release_mutex() comment