CONFIG_PPC_PSR2 is not available for thedefaultarchitecture x86.
Result is shown for architecture powerpc
PSR-2 platform
modulename: psr2.ko
configname: CONFIG_PPC_PSR2
Linux Kernel Configuration
└─>WSP platform selection
└─>PSR-2 platform