diff --git a/arch/arm64/configs/defconfig b/arch/arm64/configs/defconfig
index 59a9084..aac8230 100644
--- a/arch/arm64/configs/defconfig
+++ b/arch/arm64/configs/defconfig
@@ -862,6 +862,7 @@
 CONFIG_UIO_PDRV_GENIRQ=m
 CONFIG_VFIO=m
 CONFIG_VFIO_PCI=m
+CONFIG_VFIO_PLATFORM=m
 CONFIG_VIRTIO_PCI=y
 CONFIG_VIRTIO_BALLOON=y
 CONFIG_VIRTIO_MMIO=y