diff --git a/arch/i386/kernel/acpi/boot.c b/arch/i386/kernel/acpi/boot.c
diff --git a/arch/x86_64/kernel/time.c b/arch/x86_64/kernel/time.c
index 328bd73..d39cd90 100644
--- a/arch/x86_64/kernel/time.c
+++ b/arch/x86_64/kernel/time.c
@@ -513,6 +513,9 @@ static unsigned long get_cmos_time(void)
 		if (acpi_gbl_FADT.header.revision >= FADT2_REVISION_ID &&
 					acpi_gbl_FADT.century)
 			extyear = CMOS_READ(acpi_gbl_FADT.century);
+printk("get_cmos_time(): acpi_gbl_FADT.century %d extyear %d\n",
+	acpi_gbl_FADT.century, extyear);
+extyear = 0;
 #endif
 	} while (sec != CMOS_READ(RTC_SECONDS));