Pull request: SoCFPGA changes for commit 05dcb5be507a