Re: [PATCH] board: rpi: always set fdt_addr if provided by firmware