BTW. Wouldn't it be an option to put the conflicting header file from kfreebsd-kernel-headers in its own (recommended) package? Say kfreebsd-kernel-sdt-header. Then the two packages could just conflict. And other packages can explicitly depend on it if they want the kfreebsd variant instead of the one from sdt-dev.
-- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org