Corrected platform ID and added timer frequency for SOC. The timer frequency is half the CPU frequency.
BUG=chrome-os-partner:31438 TEST=tested on Pistachio bring up board; behaves as expected. BRANCH=none
Change-Id: If7e03232106b52f2522fc7da586bdaf95f5eefec
420b0f6 pistachio: add timer frequency for SOC; correct platform ID
src/soc/imgtec/pistachio/include/soc/cpu.h | 12 ++++++++----
src/soc/imgtec/pistachio/monotonic_timer.c | 19 ++++++++++++++++---
2 files changed, 24 insertions(+), 7 deletions(-)
Upstream: review.coreboot.org