[bonzini]

Not really, remember the ssh key fiasco which was also due to a Debian-only patch.

(Disclaimer: I work for Red Hat)