ppc4xx: Add "booting from NAND" to 4xx NAND-booting targets