[U-Boot] Regarding MPC8640D second core initialization