Pull request: SoCFPGA changes for commit c18e5fb055ab