Fix some spacing
Add pthread field to uthread

It's about time to admit that we rely on pthreads underneath...
Remove VCORE_AS_PTHREAD config once and for all