Those who use my makefile for freedom boards on mbed (KL25Z at the moment), please update if you want to have more flash available for your application.
Current makefile version is 1.2.
Link: KL25Z makefile [https://github.com/0xc0170]
It was set previously that floating printf/scanf were included. I decided to comment that linker option out. The text size of mbed hello world which I used in the tutorials, went down from 26kB to 2.7kB.
For other freedom boards, you can use this makefile. I have been using it for KL46 (only to rename KL25Z to KL46Z), run without any problems.
I will add support of GCC for KL05Z soon.