Well, I think it is easier to take John's defconfig and overwrite the one in the arch/arm/configs. Then recompile the kernel. and try this step again.