Use the ARM CPUID functions

This allows us to use CPU-specific clean, rdtsc, and capability
settings.

Change-Id: I0f2792f37c2c0d4c4ec0c35d76e447bd6565d276
4 files changed