[U-Boot] [PATCH 13/15] x86: Increase the size of the phys_size_t and phys_addr_t types