Re: Pull request: SoCFPGA changes for commit 3c9bb8fbdc77f