Symbol: ACPI_MADT15_OFFSET