add-kernel-init.patch

Huge patch boils down massive kernel image parsing and boot action
to a modest sequence of code that actually boots the kernel.

Signed-off-by: Andy Green <andy@openmoko.com>

qiboot/src/kboot.h

@@ -11,6 +11,7 @@ int vsprintf(char *buf, const char *fmt, va_list args);
 int puts(const char *string);
 void printhex(unsigned char v);
 void print32(unsigned int u);
+void hexdump(unsigned char *start, int len);
 
 #endif