Re #8359. Add another required include.

Someone else wasn't taking care of their own includes...
Merge branch 'bugfix/8359_kernel_memory_leaks' into develop