scripts/stats.pl: no more ketchup utility.
kernel_stats.ods: update 3.16 numbers