reverted uClibc hardfp patches - too complicated

I'm not sure that these are needed anyway

and if uClibc remains soft-float, well... it won't matter too much
rpi-firmware depends on rpi-config