src/distrib/evbmips/instkernel