Re: [U-Boot] [PATCH 3/3] fdt: Fix fdtdec_get_pci_addr() for 64-bit