ports/sysdeps/standalone/arm/bits