In addition, BFL, BTCFPGA and Avalon (I think also is based in USA but produced in China) were U.S. companies and these devices are classified under the "U.S. Bureau of Industry and Security export control", so they can simply refuse sale by your country of origin.
Q: Will the finished products ship from China?
yes
China also has this type of control, although it may ASIC not be listed.