OpenELEC/OpenELEC.tv — pull request #968 by opdenkamp (2012-07-13 12:54:19+00:00)
Title: fix RPi softfp build

These commits fix the softfp float build for the RPi. I didn't have time to check the impact on other targets.