did Citrix put the firmware out to download?