352 /* number of pages reserved for kernel */