Changed free for platform_free_shared in of1x_timers.c