[U-Boot] [PATCH 60/82] x86: Fix up type sizes for 64-bit