Estadísticas de Scalable Sampling of Highly-Configurable Systems: Generating Random Instances of the Linux Kernel