Hardware backdoors in some x86 CPUs