rpi: Fix fdt_high & initrd_high for 64-bit builds