Aren't BIOS updates (which contain the ME code) considered binary distributions? me_cleaner woudn't work otherwise.

I suppose you could make the argument that the OEMs are the ones distributing the binaries, but they are out there.