diff --git a/kernel/config-4.14.x-aarch64 b/kernel/config-4.14.x-aarch64
index 96e60e121..a02ea591c 100644
--- a/kernel/config-4.14.x-aarch64
+++ b/kernel/config-4.14.x-aarch64
@@ -2588,6 +2588,11 @@ CONFIG_HISI_THERMAL=y
 # ACPI INT340X thermal drivers
 #
 
+#
+# Broadcom thermal drivers
+#
+# CONFIG_BCM2835_THERMAL is not set
+
 #
 # Samsung thermal drivers
 #