Typos' in Bahadir's repo corrected, we are in good shape now and in sync

with bahadir's latest devel branch

conts/baremetal/baremetal4/main.c

@@ -149,8 +149,10 @@ int cap_read_all()
 		       "complete CAP_CONTROL_READ_CAPS request.\n");
 		BUG();
 	}
-
+#if 0
 	cap_array_print(&caparray);
+#endif
+
 	return 0;
 }
 

conts/baremetal/baremetal5/main.c

@@ -75,6 +75,11 @@ void cap_print(struct capability *cap)
 		printf("Capability type:\t\t%s\n", "Mutex");
 		break;
 	case CAP_TYPE_IRQCTRL:
+		printf("Capability resource type:\t%s\n", "IRQ");
+		break;
+	}
+}
+
 void cap_array_print()
 {
 	printf("Capabilities\n"