I found the answer, for anybody reading this in the future:
The asterisk at IVR was lacking of a default extension, triggering this bug: https://issues.asterisk.org/jira/browse/ASTERISK-20180 Apparently, Kamailio does not send BYE if OPTIONS returned 404.