hw/ppc: e500: Fill in correct <clock-frequency> for the serial nodes