I did a kernel bootstrap (and got snatched by other projects), I used the hardware USB debugging capability to trace the boot process. Basically, the UEFI BIOS fire up my kernel image, I spit out debugging stuff on the UEFI console until the UEFI to kernel image handover where I do switch to tracing using USB hardware debugging, you need a 2nd computer in order to get the trace of course.<p>I do suggest to use that. Careful, The AMD mantisse USB controller has a bug in it debug facility (CPU and chipset) and I had to work around it.