> Since fdcattach() is now called after i386_bufinit() (which is called
> via cpu_configure()), I guess the memory below the 16M was eaten by
> bufcache as described in the comment in the cpu_startup().

Thanks.  I already figured that out and modified the code to do that
allocation earlier again.

uvm_pglistalloc() and its uses have an unfortunate number of issues.
I believe AGP video buffer allocation still ails from related
problems, among other things.