kernel: hacks to make reset work (still not portable to bitstreams containing anything else than 2 TDC cores)