cmake DCONFIG_HAS_NMI examples

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

add_definitions(-DCONFIG_HAS_NMI=y)