src/distrib/arc/instkernel