3 files changed, 2 insertions, 1 deletions

diff --git a/features/printk/printk_y.cfg b/features/printk/printk_y.cfg
index 0fcc9f0..1644716 100644
--- a/features/printk/printk_y.cfg
+++ b/features/printk/printk_y.cfg
@@ -1,4 +1,5 @@
 CONFIG_PRINTK=y
 CONFIG_PRINTK_NMI=y
+CONFIG_PRINTK_TIME=y
 CONFIG_EARLY_PRINTK=y
 CONFIG_X86_VERBOSE_BOOTUP=y
diff --git a/features/vfio/vfio.cfg b/features/vfio/vfio_m.cfg
index f42b937..f42b937 100644
--- a/features/vfio/vfio.cfg
+++ b/features/vfio/vfio_m.cfg
diff --git a/features/vfio/vfio.scc b/features/vfio/vfio_m.scc
index c9369cb..f971caf 100644
--- a/features/vfio/vfio.scc
+++ b/features/vfio/vfio_m.scc
@@ -1,4 +1,4 @@
 define KFEATURE_DESCRIPTION "Enable VFIO"
 define KFEATURE_COMPATIBILITY all
 
-kconf non-hardware vfio.cfg
+kconf non-hardware vfio_m.cfg