Linux Kernel: prink(print kernel)によるメッセージ出力