diff --git a/src/arch/i386/image/elfboot.c b/src/arch/i386/image/elfboot.c
index 60c54992..c8daf72b 100644
--- a/src/arch/i386/image/elfboot.c
+++ b/src/arch/i386/image/elfboot.c
@@ -49,6 +49,7 @@ static int elfboot_exec ( struct image *image ) {
 	shutdown ( SHUTDOWN_BOOT );
 
 	/* Jump to OS with flat physical addressing */
+	DBGC ( image, "ELF %p starting execution at %lx\n", image, entry );
 	__asm__ __volatile__ ( PHYS_CODE ( "call *%%edi\n\t" )
 			       : : "D" ( entry )
 			       : "eax", "ebx", "ecx", "edx", "esi", "ebp",
diff --git a/src/arch/i386/image/multiboot.c b/src/arch/i386/image/multiboot.c
index d7c2b8da..3aa52e43 100644
--- a/src/arch/i386/image/multiboot.c
+++ b/src/arch/i386/image/multiboot.c
@@ -280,6 +280,8 @@ static int multiboot_exec ( struct image *image ) {
 	shutdown ( SHUTDOWN_BOOT );
 
 	/* Jump to OS with flat physical addressing */
+	DBGC ( image, "MULTIBOOT %p starting execution at %lx\n",
+	       image, entry );
 	__asm__ __volatile__ ( PHYS_CODE ( "call *%%edi\n\t" )
 			       : : "a" ( MULTIBOOT_BOOTLOADER_MAGIC ),
 			           "b" ( virt_to_phys ( &mbinfo ) ),