Change kernel: Trinity Alpha 4

Change-Id: I997f25591d769b38ec81f01648fe4026a5dcae4f