src/distrib/landisk/instkernel