It is a legacy from KP. kernel-cssu still not do Replaces: kernel in debian/control. My focus remains on whether Thumb2 is 100% stable and what is the benefit of using it, plus I am waiting for Pali and merling1991 to finish their exams so eventually I will get some help on the packaging stuff (not my strongest skill I have to admit )