CONFIG_PPC_WSP is not available for thedefaultarchitecture x86.
Result is shown for architecture powerpc

CONFIG_PPC_WSP (not configurable)

modulename: opb_pic.ko

and/or

scom_wsp.ko

configname: CONFIG_PPC_WSP

Linux Kernel Configuration
└─>PPC_WSP
In linux kernel since version 3 (release Date: 2011-07-21)  
source code:
arch/powerpc/platforms/wsp/opb_pic.c