Re: [PATCH] first batch of several: deletion of unused OVAL checks