[tip: x86/urgent] x86/cpu/amd: Fix workaround for erratum 1054