updated name of kernel to Trinity_Carbon