Benchmark: Integer speed comparison of several boards an processors supported by LetuxOS