Hi,
I enabled CPU hotplugging from kernel configuration for evmk2h. Image was successfully built. I booted with the new image and was able to see file /sys/devices/system/cpu/cpu3/online. I wrote 0 to this file to disable a core. But soon after that kernel crashed.
Regards
Abdul Basit