This seemed to be in spirit of the current setup for gcc options.
Besides, I am actually not sure whether all ARM platforms out there use ARM EHABI.   It seems prudent to allow tweaking this per-platform...