[PATCH] third batch of several: deletion of unused OVAL checks