core: sync debian files with debian git repository

(cherry picked from commit 8672430acd999eb39d3990aa6c73ac496e73bfa6)