tree bb88a9722e394dbdb094af5c92b7ddccbe1de98b
parent cd47b185efe8053c25ab9de1544986f27fffbb1b
author Stefan Roese <sr@denx.de> 1255956251 +0200
committer Stefan Roese <sr@denx.de> 1256306685 +0200

ppc4xx: Print PCI synchronous clock frequency upon bootup

Some 4xx variants (e.g. 440EP(x)/GR(x)) have an internal
synchronous PCI clock. Knowledge about the currently configured
value might be helpful. So let's print it out upon bootup.

Signed-off-by: Stefan Roese <sr@denx.de>