Moved to proper EDK malloc and free functions