Mention linux kernel benchmark