b23fcc2e76
LK supports 4K page table only when update mapping. At boot stage, 2M page used for kernel area space. And this mapping will be updated when allocating region if region size is smaller than 2M, this 2M page should be updated to 2M page directory, and then update 4K pages resides in this 2M directory.