[U-Boot] [RFC PATCH] ARM: Update phys_addr_t depending on CONFIG_PHYS_64BIT