# CONFIG_EDAC_CORTEX_A72 is not set
