Re: Not getting printk output