On Fri, 2011-03-18 at 15:27 +0000, Russell King - ARM Linux wrote: > GENERIC_TIME no longer exists as a valid configuration symbol, so > please remove this. Ah, wasn't aware of that. Will remove. Regards, Ithamar.