I can mail it
to you if you like, sure. Or I can just put it in my
Dropbox and publish a link here in the list if that's ok.
The source for that file is (now) GPL (right) - so if you include the
source code with the binary you're all good.
Since it was built from sources found via the coreboot website, I think
distributing it should be possible then.
you don't have to include source with the binary, a pointer to it