use git.seabios.org for checking out seabios.