Benchmarking Intel Xeon Phi to Guide Kernel Design