[PATCH] rpi: always set fdt_addr with firmware-provided FDT address