debian: patch for kfreebsd builds