OpenBSD port for gcc arm-none-eabi toolchain