vivado from florent (cherry pick b9ff20cc)
temporary changes for spartan 3a