Fantastic article from Alexander Bokovoy on how this thing was found and fixed ! http://rhelblog.redhat.com/2016/04/15/how-badlock-was-discovered-and-fixed/ Thanks Alexander !