xen: correct size of level2_kernel_pgt