default or selected kernelversion does not have config value CONFIG_SERIO_AT32PSIF.
Result is shown for kernelversion 6.7-rc3

AVR32 PSIF PS/2 keyboard and mouse controller

modulename: at32psif.ko

configname: CONFIG_SERIO_AT32PSIF

Linux Kernel Configuration
└─>Device Drivers
└─>Input device support
└─>Hardware I/O ports
└─>AVR32 PSIF PS/2 keyboard and mouse controller
In linux kernel since version 2.6.26 (release Date: 2008-07-13)  
Say Y here if you want to use the PSIF peripheral on AVR32 devices
and connect a PS/2 keyboard and/or mouse to it.

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

source code: