and fix the build for zedboard after PortalMemory split

Change-Id: I0010837e314c5e87040cdd3dc1702db0403ed7bd