CPU_ARCH_ARMv3
cpu_arch = (read_cpuid_id() & (1 << 23)) ? CPU_ARCH_ARMv4T : CPU_ARCH_ARMv3;
cpu_arch += CPU_ARCH_ARMv3;