update Triple_buffer

Signed-off-by: Alessandro Mariani <ale.mariani91@gmail.com>
Merge branch 'grp51' of https://github.com/rbino/rtos2013 into grp51