CONFIG_MACH_KZM9D is not available for thedefaultarchitecture x86.
Result is shown for architecture arm
KZM9D board
modulename: board-kzm9d-reference.ko
configname: CONFIG_MACH_KZM9D
Linux Kernel Configuration
└─>KZM9D board