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