K 10 svn:author V 6 cognet K 8 svn:date V 27 2014-02-02T23:29:51.433015Z K 7 svn:log V 164 Only use the CPU ID register if SMP is defined. Some non-MPCore armv6 cpu, such as the one found in the RPi, don't have it, and just hang when we try to access it. END