Symbol: acpi_bert_region