I am sorry but the kernel config I previously attached is
for my PDA (Xscale).

I have attached the Armedslack Current kernel config for
ARM Versatile.

Regard,
Sunil