Sorry, something went wrong with my previous post. I just wanted to ask the kernel team to enable # grep IKCONFIG config-2.6.24-1-amd64 CONFIG_IKCONFIG=y CONFIG_IKCONFIG_PROC=y for all x86 kernel packages like it is the case for amd64. Thanks, Daniel