x86, cpu, amd: Add workaround for family 16h, erratum 793
(bnc#852967 CVE-2013-6885).