src/sys/arch/ofppc/ofwgen
