The KConfig Variability Framework as a Feature Model