We need a testbench to debug the combined coretest-uart-test_core system.