ARMv7: FVP_A5x1 (A9 image) & FVP_A7x1 (A15 image). Signed-off-by: David Cock <david.cock@inf.ethz.ch>
ARMv7: CPUID check on boot. Signed-off-by: David Cock <david.cock@inf.ethz.ch>