CONFIG_MACH_HARMONY is not available for thedefaultarchitecture x86.
Result is shown for architecture arm
Harmony board
modulename: board-harmony.ko
and/orboard-harmony-pinmux.ko
and/orboard-harmony-pcie.ko
and/orboard-harmony-power.ko
configname: CONFIG_MACH_HARMONY
Linux Kernel Configuration
└─>Harmony board
In linux kernel since version 2.6.36 (release Date: 2010-10-20)
Support for nVidia Harmony development platform