The Pi image is listed under "armel" instead of "armhf". Why? The Pi has hard floating point support, and you will get much better performance using armhf distributions. Do the armhf images require an Arm7 processor? Will the generic armhf image work on the Pi?