UEFI: more debug. fix kprintf.