Memory on new computer

[Alan Cox]

> This is well known issue. The missing space is occupied by the page table
> index. When pages are 4k in size you need a lot of table entries to describe
> a full 4 gigabytes, like a million of them. Linux seems to have optimized
> this a little. Windows loses a bit more memory, if I recall correctly.

We account for the page tables in our memory report as part of the kernel
memory.