Re: printk from x86-64 assembly code