[PATCH 071/237] selinux: sel_avc_get_stat_idx should increase position index