Try to get demangled type names for the kernels (#4155)