Symbol: ACPI_WDDT_OFFSET