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