ukernel: set pthread stacksize to an integer multiple of 8k