ppc4xx: Fix problem with SDRAM init in bamboo NAND booting port