amd64_edac: add driver header