Improve frame allocator performance
Recent performance profiles of the kernel, suggest that the frame allocator is a major performance bottleneck. This can be improved by allocating frames in larger blocks, when single-frame allocations are requested, or by optimizing the allocator itself.
Page fault readahead would also improve performance, but for regular allocations, the hardware page fault overhead and overhead from locking etc. is likely not yet significant enough for that.