The Kconfig Variability Framework as a Feature Model