diff --git a/include/hardware_caps.h b/include/hardware_caps.h
index 44a11a9..b6f2a6b 100644
--- a/include/hardware_caps.h
+++ b/include/hardware_caps.h
@@ -28,6 +28,7 @@ typedef struct hw_caps
 	int has_SCART;
 	int has_SCART_input;
 	int has_YUV_cinch;
+	int has_button_vformat;
 	int can_shutdown;
 	int can_cec;
 	int can_ar_14_9;	/* video drivers have 14:9 aspect ratio mode */
diff --git a/libarmbox/dmx.cpp b/libarmbox/dmx.cpp
index 400303f..1c7ea42 100644
--- a/libarmbox/dmx.cpp
+++ b/libarmbox/dmx.cpp
@@ -71,9 +71,17 @@ static const char *DMX_T[] = {
 
 /* this is the number of different cDemux() units, not the number of
  * /dev/dvb/.../demuxX devices! */
+#if BOXMODEL_VUSOLO4K
+#define NUM_DEMUX 16
+#else
 #define NUM_DEMUX 4
+#endif
 /* the current source of each cDemux unit */
+#if BOXMODEL_VUSOLO4K
+static int dmx_source[NUM_DEMUX] = { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 };
+#else
 static int dmx_source[NUM_DEMUX] = { 0, 0, 0, 0 };
+#endif
 
 /* map the device numbers. */
 #if BOXMODEL_VUSOLO4K