One other thing bothers me. /proc/cpuid indicates that the "cpu family" for all four processors is 21. Yet the kernel messages indicate that the microcode update was taken from a file for family 15 processors. Are we sure that the correct microcode update is being loaded?
-- .''`. Stephen Powell : :' : `. `'` `- -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org