Hier ist ein guter Beitrag welcher Kernel bzw. compilation man denn nun benutzen sollte: http://www.memetic.org/raspbian-benchmarking-armel-vs-armhf/
