core: eliminate unnecessary tcb_t struct fields

PR by @kaspar030 and me: Some of tcb_t's members are not required.
You can comment out all the `for (int i = 0; i < MAXTHREADS; i++)` loop, because all it does now is printing as many newlines as there are threads.