float-abi adaptations for Kobo

Part of the fix for nightly Kobo builds [koreader#220](https://github.com/koreader/koreader/issues/220)