[U-Boot] Raspberry Pi / fdt_addr bug with environment