diff --git a/src/mainboard/intel/ptlrvp/intel.c b/src/mainboard/intel/ptlrvp/intel.c
index 600d1b3bb7..5e0358ec86 100644
--- a/src/mainboard/intel/ptlrvp/intel.c
+++ b/src/mainboard/intel/ptlrvp/intel.c
@@ -23,13 +23,3 @@ int get_recovery_mode_switch(void)
 {
 	return 0;
 }
-
-bool chromeos_device_branded_plus_hard(void)
-{
-	return false;
-}
-
-bool chromeos_device_branded_plus_soft(void)
-{
-	return false;
-}
diff --git a/src/vendorcode/google/chromeos/chromeos.h b/src/vendorcode/google/chromeos/chromeos.h
index 540f3635aa..d8f7e6117c 100644
--- a/src/vendorcode/google/chromeos/chromeos.h
+++ b/src/vendorcode/google/chromeos/chromeos.h
@@ -34,6 +34,8 @@ void chromeos_set_ramoops(void *ram_oops, size_t size);
  * Return "UNDEFINED_FACTORY_CONFIG" in case of error.
  */
 uint64_t chromeos_get_factory_config(void);
+
+#if CONFIG(TPM_GOOGLE)
 /*
  * Determines whether a ChromeOS device is branded as a Chromebook-Plus
  * based on specific bit flags:
@@ -57,6 +59,18 @@ bool chromeos_device_branded_plus_hard(void);
  * To be considered a soft-branded Chromebook-Plus, both of these conditions need to be met.
  */
 bool chromeos_device_branded_plus_soft(void);
+#else
+/* Inline fallback for platforms without Google TPM */
+static inline bool chromeos_device_branded_plus_hard(void)
+{
+	return false;
+}
+
+static inline bool chromeos_device_branded_plus_soft(void)
+{
+	return false;
+}
+#endif
 
 /*
  * Declaration for mainboards to use to generate ACPI-specific ChromeOS needs.