rtos: Add missing destructor for MemoryPool objects.

Author: pan-

rtos/MemoryPool.h

@@ -58,6 +58,11 @@ class MemoryPool : private mbed::NonCopyable<MemoryPool<T, pool_sz> > {
         MBED_ASSERT(_id);
     }
 
+    /** Destroy a memory pool */
+    ~MemoryPool() {
+        osMemoryPoolDelete(_id);
+    }
+
     /** Allocate a memory block of type T from a memory pool.
       @return  address of the allocated memory block or NULL in case of no memory available.
     */