Patching malloc: increasing __malloc_margin to 128

Porting malloc.c modifications. See https://github.com/arduino/Arduino/pull/1329 @cmaglie