On Wed, Apr 8, 2015 at 4:30 AM, fu.wei@linaro.org wrote:
-[0004] Platform Timer Count : 00000001 -[0004] Platform Timer Offset : 0000005C +[0004] Platform Timer Count : 00000002 +[0004] Platform Timer Offset : 00000060
Is this "Platform Timer Offset" technically an unrelated change? That is, I think 0x5C was always the wrong value, even without the watchdog table?
I say this because we had the same bug on our ACPI tables.