[pcbios] Add extra debugging messages relating to the system memory map

src/arch/i386/firmware/pcbios/hidemem.c

 #include <biosint.h>
 #include <basemem.h>
 #include <gpxe/init.h>
+#include <gpxe/memmap.h>
 #include <gpxe/hidemem.h>
 
 /** Alignment for hidden memory regions */
  * returned by the BIOS.
  */
 static void hide_etherboot ( void ) {
+	struct memory_map memmap;
+
+	/* Dump memory map before mangling */
+	DBG ( "Hiding gPXE from system memory map\n" );
+	get_memmap ( &memmap );
 
 	/* Initialise the hidden regions */
 	hide_basemem();
 	/* Hook INT 15 */
 	hook_bios_interrupt ( 0x15, ( unsigned int ) int15,
 			      &int15_vector );
+
+	/* Dump memory map after mangling */
+	DBG ( "Hidden gPXE from system memory map\n" );
+	get_memmap ( &memmap );
 }
 
 /**

src/arch/i386/firmware/pcbios/memmap.c

 	}
 
 	extmem = ( extmem_1m_to_16m_k + ( extmem_16m_plus_64k * 64 ) );
-	DBG ( "INT 15,e801 extended memory size %d+64*%d=%d kB\n",
-	      extmem_1m_to_16m_k, extmem_16m_plus_64k, extmem );
+	DBG ( "INT 15,e801 extended memory size %d+64*%d=%d kB [100000,%x)\n",
+	      extmem_1m_to_16m_k, extmem_16m_plus_64k, extmem,
+	      ( 0x100000 + ( extmem * 1024 ) ) );
 	return extmem;
 }
 
 	__asm__ __volatile__ ( REAL_CODE ( "int $0x15" )
 			       : "=a" ( extmem ) : "a" ( 0x8800 ) );
 
-	DBG ( "INT 15,88 extended memory size %d kB\n", extmem );
+	DBG ( "INT 15,88 extended memory size %d kB [100000, %x)\n",
+	      extmem, ( 0x100000 + ( extmem * 1024 ) ) );
 	return extmem;
 }
 
 
 	/* Get base and extended memory sizes */
 	basemem = basememsize();
-	DBG ( "FBMS base memory size %d kB\n", basemem );
+	DBG ( "FBMS base memory size %d kB [0,%x)\n",
+	      basemem, ( basemem * 1024 ) );
 	extmem = extmemsize();
 	
 	/* Try INT 15,e820 first */

src/image/segment.c

 	physaddr_t end = user_to_phys ( segment, memsz );
 	unsigned int i;
 
+	DBG ( "Preparing segment [%lx,%lx,%lx)\n", start, mid, end );
+
 	/* Sanity check */
 	if ( filesz > memsz ) {
 		DBG ( "Insane segment [%lx,%lx,%lx)\n", start, mid, end );