Use the version of stm32f4.x that comes with openocd

The copy in this tree was stale.
add step hooks to make stepping work correctly for non isrs