I believe the EFF donated their coins to the original "Bitcoin Faucet", a service by Bitcoin lead developer Gavin Andresen that would give away fractions of a coin for free, so the newbies would have some to experiment with. (The Bitcoin Faucet happens to be where I got my first 0.05 BTC, a few years ago.)
Source: https://bitcointalk.org/index.php?topic=20185.0;wap2