let's make libpager single-threaded

[Justus Winter]

Hi :)

tl;dr: How many pager threads does it take to skrew in a light bulb?
One.

[PATCH 1/9] libdiskfs: set the default sync interval to 30 seconds

Well, I made this one before I knew that the thread-storm problem
might just be gone with this patch series.  Still, we should either
apply this patch, or fix the documentation.

[PATCH 2/9] libports: work around bugs in server termination
[PATCH 3/9] libports: reduce malloc overhead in
[PATCH 4/9] exec: abbreviate the task name if necessary
[PATCH 5/9] ext2fs: fix type of inum
[PATCH 6/9] ext2fs: simplify expression

Some fixes.

[PATCH 7/9] ext2fs: use two distinct pager buckets for the disk and

Here is the carrot.  Ext2fs has two kinds of pagers.  Those have to be
separated.

[PATCH 8/9] libpager: make libpager single-threaded
[PATCH 9/9] libpager: remove all the unused seqno parameters

Now the actual change is almost mechanic in nature.  Even though, this
clearly needs some real-world testing.  The packages in hurd-ci
contain these changes, and I'm using these on my build host and it
seems to be faster (shaved of a minute or two from the ~25 minute
debuild step).

We will try this change on darnassus and follow-up with the results.

Cheers,
Justus