K 10 svn:author V 3 ian K 8 svn:date V 27 2014-02-28T00:41:55.071086Z K 7 svn:log V 264 Add an armv7 implementation of cpu_sleep(). The arm11/armv6 implementation we've been using was actually just spinning due to ARM having redefined the old 'wait for interrupt' operation via the system coprocessor as a nop and replacing it with a WFI instruction. END