[Fedora QA] #289: Howto: debug kernel