drivers/elog: Add elog_boot_notify()

Change-Id: I898188d31fcfd153eb95d0a7324fa9fd85316e3c
Signed-off-by: Kyösti Mälkki <kyosti.malkki@gmail.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/35373
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Aaron Durbin <adurbin@chromium.org>
Reviewed-by: Furquan Shaikh <furquan@google.com>

src/include/elog.h

@@ -274,6 +274,12 @@ static inline u32 boot_count_read(void)
 #endif
 u32 boot_count_increment(void);
 
+static inline void elog_boot_notify(int s3_resume)
+{
+	if (CONFIG(ELOG_BOOT_COUNT) && !s3_resume)
+		boot_count_increment();
+}
+
 /*
  * Callback from GSMI handler to allow platform to log any wake source
  * information.