x86, CPU, AMD: Move K8 TLB flush filter workaround to K8 code