[PATCH 020/124] kernel/gcov/fs.c: gcov_seq_next() should increase position index