I got a response back from their support department, looks like they should be uploading the S9 firmware SDK next week.

Bitmain got back to me, looks like they should be releasing the source code on GitHub shortly.

One thing I found was that sha2.c and sha2.h are the exact same GPL licensed implementations that are found in cgminer(I confirmed the fuction names all match using objdump).

From what it would seem there is more going on than just that, the bitmain_spi.ko kernel module appears to be built from the following source files. It looks like there is a FPGA of sorts as well that it interfaces with which would explain the fpga source files being a part of the bitmain_spi.ko kernel module.

bitmain-asic-drv.c
bitmain-asic.h
fpga.c
fpga.h
sha2.c
sha2.h
spi.c
spi.h
Makefile

That is certainly a bit strange, technically they aren't required to release the documentation, it is just the source code that they are required to release.

Its actually not as hard as one would assume to take action against Chinese companies that sell to western countries.

Even if they can't be touched directly their resellers, distributors and subsidiaries are all liable for copyright infringement if they don't release the source code.

I just came across this post from a while back, looks like they ignored a request for the cgminer source code for a while but eventually got the message. Bitmain needs to understand that the firmware development environment source code must be released for the same reason they had to release cgminer source code. In order to be compliant with the GPL license the development environment must produce the firmware files that Bitmain provides for download from their source code.

If they don't provide the source code they are violating the GPLv2 and GPLv3 licenses of many software package on the device including but not limited to the Linux kernel and BusyBox.
From my emailing with them they either seem to be having trouble understanding what the GPL is or what source code is.
When asked for the source code for the firmware build environment they offered to provide a .ko file(a compiled kernel module) which is not source code in addition to being already available on the device itself to download via scp(although it is useless unless used with the exact Bitmain kernel that they use in their images).
I plan to begin enforcement action in western countries if they fail to respond to my request, I find Chinese companies don't respect the GPL or copyright law in general but when their resellers and international subsidiaries get contacted by GPL enforcement organizations such as the SFC they change their tone.
I want to make sure Bitmain has been given the opportunity to comply with the law but if they ignore my GPL request I will be forced to take action.
I want to make sure they understand that this GPL request is a legal demand to comply with licenses for the software that they distribute and that failure to comply would be a serious violation and can lead to legal action.

I've been trying to get a hold of the GPL source code for all the firmware images that Bitmain has posted on their support site https://bitmaintech.com/support.htm . 

Would anyone here know where I might be able to find that?

I've been emailing Bitmain but they seem to be confused about what I'm asking for.

I'm not asking for just the cgminer source code I'm asking for the development environment thats used to compile the complete firmware images that Bitmain provides for download.