ppc/ppc405: Fix boot from kernel