microblaze: simplify pte_alloc_one_kernel()