CONFIG_MACH_NOKIA_RX51 is not available for thedefaultarchitecture x86.
Result is shown for architecture arm
Nokia RX-51 board
modulename: board-rx51-video.ko
and/orboard-rx51-peripherals.ko
and/orboard-rx51.ko
configname: CONFIG_MACH_NOKIA_RX51
Linux Kernel Configuration
└─>TI OMAP2/3/4 Specific Features
└─>Nokia RX-51 board