Symbol: ACPI_EXPLICIT_CONVERT_DECIMAL