Add Alain91's patch for missing getters in kernel classes, Issue #67