[PATCH] make kernels with CONFIG_X86_GENERIC and !CONFIG_SMP compilable