kernel modules debugging examples, week 3