chris-changes
openocd config file
 - do uart init so that isn't needed in openocd config
 - use more generic code to install irq handler