diff options
| -rw-r--r-- | src/drivers/pc80/mc146818rtc_early.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/drivers/pc80/mc146818rtc_early.c b/src/drivers/pc80/mc146818rtc_early.c index 145fe214d1..421af2f92f 100644 --- a/src/drivers/pc80/mc146818rtc_early.c +++ b/src/drivers/pc80/mc146818rtc_early.c @@ -67,10 +67,10 @@ static inline __attribute__((unused)) int do_normal_boot(void) /* The RTC_BOOT_BYTE is now o.k. see where to go. */ byte = cmos_read(RTC_BOOT_BYTE); - /* Are we in normal mode? */ - if (byte & 1) { - byte &= 0x0f; /* yes, clear the boot count */ - } + if (!IS_ENABLED(CONFIG_SKIP_MAX_REBOOT_CNT_CLEAR)) + /* Are we in normal mode? */ + if (byte & 1) + byte &= 0x0f; /* yes, clear the boot count */ /* Properly set the last boot flag */ byte &= 0xfc; |