> ARMv7/Cortex, which AFAIK includes all interesting stuff here?
"Denver" won't sport a (current) Cortex core, that's for sure. And maybe it won't even be ARMv7 ISA (i.e. 32-bit), but that's only a guess fueled by 'ARM64' rumours from last November and the better suitability of a 64-bit ISA with regards to server space in general.
