Muy bien por Intel que está entrando duro.
Pero hasta donde pude leer y como dijo el compañero de arriba solo el Kernel está optimizado a 64 bit.
Y por cierto no es la misma Google la que tiene que hacer Android de 64 bit ? porqué esperar a que otros lo hagan, porqué no la misma dueña del SO ???