Add the mangled_args property to kernel_api types.

Add the mangled_args property to kernel_api types. #4102