install trusty's kernel