ACPI_SRAT_RINTC_ENABLED
if (!(pa->flags & ACPI_SRAT_RINTC_ENABLED))
str_enabled_disabled(p->flags & ACPI_SRAT_RINTC_ENABLED));