float-abi adaptations for Kobo