src/distrib/emips/instkernel