This change fixes the problem with K64F Ethernet support where after transmitting frames, the buffers were not released so system would eventually running out of memory.

Signed-off-by: unknown <sersca01@SERSCA01-002137.usa.Arm.com>