(Libco ARM) Add back <malloc.h> header include