Merge "lib: memory_alloc: Support 64-bit physical addresses"