src/sys/arch/ofppc/stand/ofwboot