Alain91's patch for missing getters in kernel classes

Clears issue #67