ACPICA: Add ACPI_MUTEX_TYPE configuration option