Explicitly look for CONFIG_X86_32 in Makefile