rpi: always set fdt_addr to the correct value