OProfile: moving increment_tail() in buffer_sync.c