[PATCH] ppc32: Fix incorrect PCI frequency value