> The question is: does the platform do this disabling now? > > Tony, I'm looking at sb_edac and there we don't do something like that > or maybe I'm missing it.
Historically we've had complaints that sb_edac won't load that have been tracked to BIOS hiding one of the (many) PCI devices that it needs. But device hiding is orthogonal to providing GHES error records. A BIOS might do that, but I don't know that anyone intentionally does so. -Tony
