CONFIG_SOC_AM33XX is not available for thedefaultarchitecture x86.
Result is shown for architecture arm

AM33XX support

modulename: voltagedomains33xx_data.ko

and/or

omap_hwmod_33xx_43xx_interconnect_data.ko

and/or

irq.ko

and/or

pm33xx-core.ko

and/or

clockdomains33xx_data.ko

and/or

am33xx-restart.ko

and/or

cclock33xx_data.ko

and/or

omap_hwmod_33xx_data.ko

and/or

prm33xx.ko

and/or

powerdomains33xx_data.ko

and/or

omap_hwmod_33xx_43xx_ipblock_data.ko

configname: CONFIG_SOC_AM33XX

Linux Kernel Configuration
└─>TI OMAP2/3/4 Specific Features
└─>AM33XX support
In linux kernel since version 3.1 (release Date: 2011-10-24)  
source code:
arch/arm/mach-omap2/irq.c


is selected by
CONFIG_HWSPINLOCK_OMAP