Re #8359. Add required include.
Merge branch 'bugfix/8359_kernel_memory_leaks' into develop