/distrib/arc/instkernel/