Use git clone -b ubuntu
ou execute git checkout ubuntu
após a clonagem.
No entanto, acabei de definir a ramificação padrão do repositório como ubuntu
no Launchpad, portanto, git clone https://git.launchpad.net/~phablet-team/avila/+git/kernel-3.10
etc. deve funcionar agora sem a necessidade de escolher manualmente uma ramificação.