kernel/include/config/EDAC_THUNDERX