ARM: Increase stack size above 1KB on ARM as printf() observed to use ~1700 bytes on GCC toolchain used during development.