coredump: Support signal number

Change-Id: If220bcd0865569a566e08aa53cae748fdc6317d0
Refs: #1340

test/issues/1340/raise_sig.c

@@ -0,0 +1,15 @@
+#include <stdlib.h>
+#include <stdio.h>
+#include <signal.h>
+
+int main(int argc, char **argv)
+{
+	int sig = 0;
+
+	sig = atoi(argv[1]);
+	raise(sig);
+
+	printf("Send sig %d to self\n", sig);
+
+	return 0;
+}