Replace Device_uses_{dl,je}malloc with Malloc_not_svelte

This no longer switches between dlmalloc and jemalloc, it just changes
the jemalloc cflags for non-svelte devices.

Change-Id: Ic6975de89a53a42e4735dbdcde68367ebfc42f9b
1 file changed