Linux Driver Verification

Sometimes QA reports useless regressions, e.g. when for one test timeout was reached rather then Safe/Unsafe was found. This takes not so little time to sort such the issues out, thus we need to do this automatically. For instance, one can use the approach suggested here.