Use armv6 hardfp ABI raspberrypi/firmware