default or selected kernelversion does not have config value CONFIG_HW_RANDOM_PICOXCELL.
Result is shown for kernelversion 6.5.1

Picochip picoXcell true random number generator support

modulename: picoxcell-rng.ko

configname: CONFIG_HW_RANDOM_PICOXCELL

Linux Kernel Configuration
└─>Device Drivers
└─>Character devices
└─>Picochip picoXcell true random number generator support
In linux kernel since version 2.6.39 (release Date: 2011-05-18)  
This driver provides kernel-side support for the Random Number
Generator hardware found on Picochip PC3x3 and later devices.

To compile this driver as a module, choose M here: the
module will be called picoxcell-rng.

If unsure, say Y.

source code:
depends
CONFIG_ARCH_PICOXCELL
CONFIG_HW_RANDOM
CONFIG_PICOXCELL_PC3X3