CONFIG_MACH_VENTANA is not available for thedefaultarchitecture x86.
Result is shown for architecture arm
Ventana board
configname: CONFIG_MACH_VENTANA
Linux Kernel Configuration
└─>Ventana board
In linux kernel since version 3.3 (release Date: 2012-03-18)
Support for the nVidia Ventana development platform