Statistics for Self-tuning Linux Kernel Performance Using Support Vector Machines