BUGFIX: pages used by kernel were not initialised if no additional pages were allocated during boot!
BUGFIX: device pages need to me marked NX on VMSAv7
Misc mods...