Sometimes the OS is unaware of ECC support on the hardware as well, e.g. Linux doesn't/didn't enable the Intel edac driver on i3's running on server chipsets using ECC memory, despite the CPU actually utilizing ECC in that scenario (they simply forgot to add them to the whitelist). So edac-util went "No ECC MCs found!", even though the platform worked.
