os/sdk-modifying-coreos: use cork binary
os/sdk-modifying-coreos: use cork binary

mantle now provides a pre-compiled binary for cork. use that in the
document instead of requiring the user have go installed in their
environment.

atxwebs/docs,joshix/docs,coreos/docs