[PATCH] Update some AMCC 4xx board config files (set initrd_high)

Some boards that can have more than 768MBytes of SDRAM need to
set "initrd_high", so that the initrd can be accessed by the
Linux kernel.

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