mirror of ubuntu-trusty's kernel