[coreboot-gerrit] Change in coreboot[master]: arch/ppc64/boot.c: handle non-OPD entry point