HP X2 210 tablet (UEFI) hang

[SebastianRoth]

(2016-02-04 14:14)mcb30 Wrote:  What are the actual destination address, source address, and length for the memcpy() that fails?

I tried to print things like addresses but failed because efi_printk can only print strings and I was unable to format integers to print with efi_char16_printk. snprintf does not seam to be usable within that early kernel code ("undefined reference to `sprintf'"). I am still quite new to the world of kernel debugging. How would I do this?