hw-4: added debug kernel messages