kernel.page_shift = 14