some makefile changes
GCC 4.8 -o3 fixes
GCC 4.7 fixes
a few small changes
Enable arch_power
silence GCC 4.7 compile warning
 Update ARM topology and add cpu_power driver
Add /dev/frandom support