diff --git a/src/mainboard/google/ocelot/variants/baseboard/ocelot/include/baseboard/ec.h b/src/mainboard/google/ocelot/variants/baseboard/ocelot/include/baseboard/ec.h
index 5804b303d0..1302946b93 100644
--- a/src/mainboard/google/ocelot/variants/baseboard/ocelot/include/baseboard/ec.h
+++ b/src/mainboard/google/ocelot/variants/baseboard/ocelot/include/baseboard/ec.h
@@ -75,7 +75,7 @@
 /* Enable EC backed PD MCU device in ACPI */
 #define EC_ENABLE_PD_MCU_DEVICE
 
-#if !CONFIG(BOARD_GOOGLE_OCELOT)
+#if !CONFIG(BOARD_GOOGLE_OCELOT) && !CONFIG(BOARD_GOOGLE_OCELOT4ES)
  #define EC_ENABLE_SYNC_IRQ      /* Enable tight timestamp / wake support */
  #define EC_SYNC_IRQ_WAKE_CAPABLE /* Let the OS know ec_sync is wake capable */
 #endif