Patch "bus: brcmstb_gisb: correct support for 64-bit address output" has been added to the 4.9-stable tree