Hi Dmitry, Sorry it took so long to implement the small suggestions you had, we've been very busy with other projects (or at least that's our excuse!).
The changes to afl.git in order to use kcov were sent to Michal so hopefully people can start fuzzing their kernel with AFL without cherry-picking patches accross different repos soon! Cheers, Q