I have a 64bit fedora 13 system and I need to build to a kernel for a 32 bit laptop. I'm following the instructions listed here: http://fedoraproject.org/wiki/Building_a_custom_kernel
(replacing the --target='uname -m' with --target=i686). I was able to do this for F8-F11 but I'm having some issues with F13 and the most recent kernel (188.8.131.52-112). After I copy the i686 config file to ".config", I run "make menuconfig". However, only the 64 bit processor options are available. How do I get the 32 processor options to appear?