src/distrib/rs6000/instkernel