src/distrib/ofppc/instkernel