The official ARM gcc toolchain compiles libgcc.a as -O2. The arch Linux ARM toolchain uses -Os. We discovered that building on arch saved a kB or two (at least).

We can consider replacing the stock libgcc.a in the ARM toolchain with a -Os version to make room on the smallest boards for new features.