Change propagations in the maintenance of kernel-based software with a study on Linux