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