diff --git a/arch/arm64/configs/microdroid_defconfig b/arch/arm64/configs/microdroid_defconfig
index 1f8844fcf127..d6587cae2a47 100644
--- a/arch/arm64/configs/microdroid_defconfig
+++ b/arch/arm64/configs/microdroid_defconfig
@@ -23,7 +23,6 @@ CONFIG_PROFILING=y
 CONFIG_KEXEC_FILE=y
 CONFIG_SCHED_MC=y
 CONFIG_NR_CPUS=32
-CONFIG_HOTPLUG_CPU=y
 CONFIG_PARAVIRT_TIME_ACCOUNTING=y
 CONFIG_ARM64_SW_TTBR0_PAN=y
 # CONFIG_ARM64_BTI_KERNEL is not set