add perf counters to kernel config
add arndale ws_arm smp