selinux: de-crapify avc cache stat code generation