x86, cpu: Clean up AMD erratum 400 workaround