Analysing the Linux kernel feature model changes using FMDiff