[PATCH] ppc32: fix 44x early serial debug for configurations with more than 512M...