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

CONFIG_EXYNOS4_SETUP_USB_PHY (not configurable)

modulename: setup-usb-phy.ko

configname: CONFIG_EXYNOS4_SETUP_USB_PHY

Linux Kernel Configuration
└─>SAMSUNG EXYNOS SoCs Support
└─>EXYNOS4_SETUP_USB_PHY
In linux kernel since version 3 (release Date: 2011-07-21)  
Common setup code for USB PHY controller

source code: