CONFIG_PARAVIRT_SPINLOCKS is not available for the selected architecture x86.
Result is shown for architecture powerpc

CONFIG_PARAVIRT_SPINLOCKS (not configurable)

modulename: spinlock.ko

and/or

paravirt-spinlocks.ko

and/or

hv_spinlock.ko

configname: CONFIG_PARAVIRT_SPINLOCKS

Linux Kernel Configuration
└─>PARAVIRT_SPINLOCKS
In linux kernel since version 2.6.30 (release Date: 2009-06-09)