x86: Fix keeping track of AMD C1E