doc: git.bogomips.org => bogomips.org