Fix EKernelProperty enum element use in KernelMachine.cpp