Make sure debugging works in sleep/standby/stop mode with openOCD