[boot] include the right file in git.