Extracting Feature Model Changes from the Linux Kernel Using FMDiff