am 72bb069d: am a70fa45e: am eb534d81: Merge "Fix device booting with DlMalloc instead of RosAlloc."
am 72bb069d: am a70fa45e: am eb534d81: Merge "Fix device booting with DlMalloc instead of RosAlloc."

* commit '72bb069da8ebbac8662af00bc1379ce9a418702a':
  Fix device booting with DlMalloc instead of RosAlloc.

treadstoneproject/artinst,treadstoneproject/artinst,treadstoneproject/artinst,treadstoneproject/artinst,treadstoneproject/artinst