Better kernel info presentation in benchmark