ppc4xx: Fix problem with init-ram bigger than 4k on 440 platforms