Re: [U-Boot] [PATCH] ppc4xx: amcc: Set CONFIG_SYS_BOOTMAPSZ to 16MB to enable booting of big kernels