Raspbian's hard float benchmarks