cuando digo que son ARM cortex A15 puros, es que es la arquitectura licenciada por ARM de cortex A15, no como krait, que solo licencio las instrucciones y ellos mismos diseñaron la arquitectura a partir de dichas instrucciones...
el krait S4 es un dual core SEMI A15 y ya rinde igual que los quadcore A9, no tienes mas que ver los benchmarks del HTC one S, es mas, en algunos benchmark como el PI, que es benchmark puro procesador, incluso supera al S3... asi que imaginate uno con arquitectura A15 completa, y a una frecuencia de 2,5 ghz...