I found debian kodi README.source. So the best course of action seems to pile the upstream libdvdnav git patches in debian/patches/libdvdnav. Kind regards, Alban