kernel modules debugging examples fixed, week 3