[PATCH 4.9 041/310] bus: brcmstb_gisb: correct support for 64-bit address output