[coreboot] Please set up `git.coreboot.org` redirecting to Gitweb