src/distrib/evbarm/instkernel