runtime port identification

The CE ports use makedefs hosted on another platform,
so the version string generated at build time isn't really
appropriate.

Add a way to add information to the version string
at runtime for such ports.

sys/wince/winhack.c

@@ -340,4 +340,11 @@ void win32_abort()
 	abort();
 }
 
+void
+append_port_id(buf)
+char *buf;
+{
+	char *portstr = PORT_CE_PLATFORM " " PORT_CE_CPU;
+	Sprintf(eos(buf), " %s", portstr);
+}