How to remove cfi-sv from Debian 9 (Stretch)