cmake CONFIG_HAS_NMI examples

RIKEN-SysSoft/mckernel kernel/CMakeLists.txt :152 

message("CONFIG_HAS_NMI isn't defined for ThunderX2")

RIKEN-SysSoft/mckernel kernel/CMakeLists.txt :155 

message("CONFIG_HAS_NMI is defined")