/distrib/ofppc/instkernel/