CONFIG_SOC_DRA7XX is not available for thedefaultarchitecture x86.
Result is shown for architecture arm
TI DRA7XX
modulename: prm44xx.ko
and/oromap4-restart.ko
and/oromap-mpuss-lowpower.ko
and/orpowerdomains7xx_data.ko
and/orclockdomains7xx_data.ko
and/oromap_hwmod_7xx_data.ko
configname: CONFIG_SOC_DRA7XX
Linux Kernel Configuration
└─>TI OMAP2/3/4 Specific Features
└─>TI DRA7XX