linux3.12: disable NO_HZ_FULL and enable IRQ_TIME_ACCOUNTING to match x86.

NO_HZ_FULL makes my i5 CPU fan work at 100% all the time...
Merge branch 'master' into testing
curl: update to 7.34.0.