Fix FPGA server FTBFS on amd64

servers/fpga_server_lin/src/bbb-gpmc-init.cpp

@@ -82,7 +82,7 @@ void gpmc_mapregisters() {
 	);
 
 	if (gpmc_map == MAP_FAILED) {
-		printf("[FATAL] mmap error %d\n", (int)gpmc_map);
+		printf("[FATAL] mmap error %p\n", gpmc_map);
 		return;
 	}
 
@@ -148,7 +148,7 @@ int setup_gpmc_bbb(void) {
 	);
 
 	if (gpio_map == MAP_FAILED) {
-		printf("[FATAL] mmap error %d\n", (int)gpio_map);
+		printf("[FATAL] mmap error %p\n", gpio_map);
 		return -1;
 	}