[PATCH] [GTA02]: Config fix for building without GTA01

[Werner Almesberger]

I wrote:
> Andy, what do you think about this ? We would basically have to merge
> all our branches into one before for such a major renaming, and then
> stop all other kernel changes for a few days until the smoke settles.

Let me be a bit more specific: the real question is whether we do
this soon, i.e., before starting to push things upstream, or never.

- Werner