Explicitly cast 32-bit values in cmd_patch

cmd.c

@@ -341,10 +341,10 @@ cmd_patch(struct hmt *hmt, char *str)
 	switch(width)
 	{
 	    case 8:
-		patch_byte(hmt, offset, val);
+		patch_byte(hmt, offset, (uint8_t)val);
 		break;
 	    case 16:
-		patch_uint16(hmt, offset, val);
+		patch_uint16(hmt, offset, (uint16_t)val);
 		break;
 	    case 32:
 		patch_uint32(hmt, offset, val);