Re: [U-Boot] [PATCH 36/82] x86: lib: Fix types and casts for 64-bit compilation