Don't just look at MHz/$. The Raspberry Pi has a ARM v6 compatible core vs the PandaBoard which has a v7-A core, i.e., Raspberry Pi MHz < PandaBoard MHz.
Do you know of anyplace that quantifies the actual performance difference of the different ARM versions? Just want to see the general improvement jump over time