Well, the difference in BogoMIPS is not relevant, as apparently this has to do with the current CPU speed, which in turn depends on the overclocking used (I don't OC).

The THUMB and THUMBEE support is as far as I know part of the chip itself, so all of us should have it. Perhaps the difference is if the kernel actually "supports" it (meaning: "is aware of", not that it actually uses it) or not.

In case it matters, I'm using the kernel-power (version 42, didn't update yet). Perhaps people without THUMB/THUMBEE can report if they are using the stock kernel (or some other kernel?)

Cheers.