Pisound + Kodi?

Yes, I saw that. I suppose that I have to change the “Audio output device” setting to “pisound” or something like that, but the options given don’t show this possibility (I have no access to my raspberry right now. I’ll try to post all the options later).
Am I wrong, or there is other thing that have to be done?

Thanks!