The Tacho Generators look interesting, but I think they are primarily used for rotational feedback. Sure, they create a voltage, but I don't think they can produce much power. It's hard to say since I can't find the exact model used in a B777, but I think it is a dead-end. They do seem to have the right RPM (1K) for a windmill.