Re: [U-Boot] [PATCH 1/3] efi: fix issue for 32bit targets with ram_top at 4G