pthreads now work on rump kernel Xen stack

Changes are mostly related to stack size.  MiniOS requires
a constant stack size since it hides "current" at the
bottom of the stack.  To be continued ...