diff --git a/debian/microvm-devices.mak b/debian/microvm-devices.mak
index 1512d34af0..0e115f4dc1 100644
--- a/debian/microvm-devices.mak
+++ b/debian/microvm-devices.mak
@@ -3,11 +3,6 @@
 #
 CONFIG_PCI_DEVICES=n
 
-# we can't disable all machine types (boards) as of 6.1
-# since the resulting binary fails to link
-#CONFIG_ISAPC=y
-#CONFIG_I440FX=y
-CONFIG_Q35=y
 CONFIG_MICROVM=y
 
 CONFIG_VIRTIO_BLK=y
@@ -20,7 +15,5 @@ CONFIG_VIRTIO_SCSI=y
 CONFIG_VIRTIO_RNG=y
 CONFIG_VIRTIO_CRYPTO=y
 CONFIG_VIRTIO_BALLOON=y
-CONFIG_VIRTIO_MEM=y
-CONFIG_VIRTIO_PMEM=y
 CONFIG_VIRTIO_GPU=y
 CONFIG_VHOST_USER_GPU=y