[PATCH 1/2] auvirt: Improve matching of AVC records generated by SELinux