sysmgr_destroy was not cleaning up platform_mem.  As a result, memory allocated
by platform_mem_setup was not freed by platform_mem_destroy.  This has been
fixed.  Also, platform_mem_destroy was incorrectly freeing the allocated gate
handle.  It now frees it correctly.
Signed-off-by: Simon Que <sque@ti.com>