[memmap] Allow for 4GB+ systems in debug message

INT 15,e801 is capable of returning a memory range that extends to
4GB, so allow for this in the debug message that shows the data
returned by INT 15,e801.

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

@@ -86,9 +86,9 @@ static unsigned int extmemsize_e801 ( void ) {
 	}
 
 	extmem = ( extmem_1m_to_16m_k + ( extmem_16m_plus_64k * 64 ) );
-	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 ) ) );
+	DBG ( "INT 15,e801 extended memory size %d+64*%d=%d kB "
+	      "[100000,%llx)\n", extmem_1m_to_16m_k, extmem_16m_plus_64k,
+	      extmem, ( 0x100000 + ( ( ( uint64_t ) extmem ) * 1024 ) ) );
 	return extmem;
 }