Put kernel_setup.py in the right place.