rpi: Adjust fdt_addr_r to a sane address