Re: [U-Boot] [PATCH 18/82] usb: pci: Fix cast for 64-bit compilation