ppc/ppc405: Introduce ppc405_set_default_bootinfo()