Symbol: ACPI_MADT_GICC_ONLINE_CAPABLE