arm,kern: Use GuestABI to call printk from the kernel.