Symbol: ACPI_TPM2_RESERVED