mountminix should not return Thread* (this confuses participants every year)
instead the syscall now uses the process count for waiting... ugly, but less problematic