[coreboot] Which "git clone" command is correct?