ARM: LPAE: use phys_addr_t in alloc_init_pud()