Re: [U-Boot] [U-Boot, 2/2] ARM: rpi: set fdt_high in the default environment