If the bug is in amd64_edac_mod, there are only two possible commits which could cause the problem:
1eef12825 amd64_edac: Correct DIMM sizes 94c1acf2c amd64_edac: Add Family 16h support Which are the only commits between 3.8 and 3.9 (and none made since). Regards, Roger -- .''`. Roger Leigh : :' : Debian GNU/Linux http://people.debian.org/~rleigh/ `. `' Printing on GNU/Linux? http://gutenprint.sourceforge.net/ `- GPG Public Key: 0x25BFB848 Please GPG sign your mail. -- To UNSUBSCRIBE, email to debian-kernel-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20130721085442.ga6...@codelibre.net