kernel patching for mini2440

Ok, I successfully patched the kernel with all the
http://www.oselas.org/oselas/bsp/pengutronix/index_en.html patches from the
2.6.38 directory. I used their kernel.config and tuned it a bit, as I don't
need gfx and sound. 
Then I configured the kernel using xenomai 2.6.0 script prepare-kernel.sh
(which patches the kernel).
And the problem is that after doing that, the kernel seems to no longer
support mini2440 - the ARM processor family is gone from menuconfig -
Pentium PRO is checked instead. WTF?

regards,

This is right command line:
ARCH=arm CROSS_COMPILE=<your-arm-compiler-prefix> make menuconfig
Without ARCH=arm you will see X86 CPUs

aaa, thx