[PATCH 15/21] Renamed OVAL in set_selinux_state