switch to trex Kernel (2/3) 

Kernel Repo for Hammerhead