src/distrib/amd64/instkernel