* Glauber de Oliveira Costa <gcosta@redhat.com> wrote:

> The core patching code for paravirt is sufficiently different
> among i386 and x86_64, and we move them to specific files.

this patch adds the paravirt_patch_32.o:

> -obj-$(CONFIG_PARAVIRT)		+= paravirt.o
> +obj-$(CONFIG_PARAVIRT)		+= paravirt.o paravirt_patch_32.o

but does not add that file nor any other rule to build that target, so 
it fails to build with the attached config:

make[1]: *** No rule to make target 
 `arch/x86/kernel/paravirt_patch_32.o', needed by 
 `arch/x86/kernel/built-in.o'.  Stop.

	Ingo