CONFIG_SOC_DRA7XX is not available for thedefaultarchitecture x86.
Result is shown for architecture arm
TI DRA7XX
modulename: omap4-restart.ko
and/orpowerdomains7xx_data.ko
and/orclockdomains7xx_data.ko
and/oromap_hwmod_7xx_data.ko
configname: CONFIG_SOC_DRA7XX
Linux Kernel Configuration
└─>TI OMAP/AM/DM/DRA Family
└─>TI DRA7XX