Yeah so basically the Marvell Libertas 88W8380 supports 802.11i (also known as WPA2) out of the box: https://uofw.github.io/upspd/docs/hardware/Libertas_WLAN_cli...

The module patches the PSP kernel WPA module to make it use the native WPA2 capability of the chip/firmware instead of WPA.