I think that's just to get people who aren't used to setting up embedded systems toolchains an easy start a la Arduino.

I didn't see anything that restricts the mbed SDK to the use of the ARM toolchain.