Официальный NDK поставляется с версией GCC, которая работает с пользовательским Bionic libc от Google. Если вы используете версию GCC, предназначенную для работы с GNU libc, то вы должны статически связать ее (как это сделано в Crystax NDK ). Поэтому, даже если ваш компилятор генерирует правильные инструкции, возможно, стоит переделать среду сборки, чтобы избежать ненужного вздутия приложения.