keep core clocked during idle to allow JTAG debug

http://nuttx.org/doku.php?id=wiki:howtos:jtag-debugging