use kernel from 14.04
updated test for trusty kernel
Merge pull request #111 from calebTomlinson/trusty-kernel

use kernel from 14.04