x86, amd: Restrict usage of c1e_idle()