[PATCH 016/110] selinux: sel_avc_get_stat_idx should increase position index