rpi: Fix fdt_high & initrd_high for 64-bit builds

[u-boot] / tools / getline.h

int getline(char **lineptr, size_t *n, FILE *stream);