scripts/set_it_up.sh: properly set up the main kernel tree