Kip Macy 42e68d4d74 Accomodate the fact that the number of l1 pages varies with the size of the initially
allocated memory - this lets us boot with 3GB

MFC after:	1 month
2008-09-02 02:55:45 +00:00
..
2008-05-13 20:02:26 +00:00
2007-05-13 18:21:54 +00:00