[arch-general] most efficient way to get linux kernel statistics