Add debug test, which checks that openocd correctly switch active thread on any hart...