Documenting and automating collateral evolutions in linux device drivers | Synapse