Los procesadores que utilizan este núcleo fueron lanzados el 12 de octubre de 2011.