diff --git a/BUILD.bazel b/BUILD.bazel
index 6181e75a4df2..dacc4ac667c5 100644
--- a/BUILD.bazel
+++ b/BUILD.bazel
@@ -551,7 +551,6 @@ pkg_install(
 
 _DB845C_MODULE_OUTS = [
     # keep sorted
-    "crypto/michael_mic.ko",
     "drivers/base/regmap/regmap-sdw.ko",
     "drivers/base/regmap/regmap-slimbus.ko",
     "drivers/bus/mhi/host/mhi.ko",
diff --git a/arch/arm64/configs/db845c_gki.fragment b/arch/arm64/configs/db845c_gki.fragment
index ea074ba82ce3..00041ea2e8c0 100644
--- a/arch/arm64/configs/db845c_gki.fragment
+++ b/arch/arm64/configs/db845c_gki.fragment
@@ -299,7 +299,6 @@ CONFIG_SM_VIDEOCC_8250=m
 CONFIG_CLK_GFM_LPASS_SM8250=m
 CONFIG_PHY_QCOM_USB_SNPS_FEMTO_V2=m
 CONFIG_INTERCONNECT_QCOM_SM8250=m
-CONFIG_CRYPTO_MICHAEL_MIC=m
 CONFIG_QCOM_CPR=m
 CONFIG_QCOM_SPM=m
 CONFIG_TYPEC_MUX_NB7VPQ904M=m