CONFIG_MACH_VR1000 is not available for thedefaultarchitecture x86.
Result is shown for architecture arm
Thorcom VR1000
configname: CONFIG_MACH_VR1000
Linux Kernel Configuration
└─>Samsung S3C24XX SoCs Support
└─>Thorcom VR1000
In linux kernel since version 2.6.12
Say Y here if you are using the Thorcom VR1000 board.