core of this change generalizes the initial page directory setup so that the kernel can be given arbitrarily large or small. - small formatting fixes - update copyright MFC after: 1 month
core of this change generalizes the initial page directory setup so that the kernel can be given arbitrarily large or small. - small formatting fixes - update copyright MFC after: 1 month