>> cpu0: 1200MHz ARM Cortex-A53 r0p4 > > it's ARMv8-A! When booted in 32-bit mode, it behaves like armv7a.