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

0xf0000000 - SDCE3/AsyncBoot

configname: CONFIG_EP93XX_SDCE3_ASYNC_PHYS_OFFSET

EP93xx first SDRAM bank selection
└─>0xf0000000 - SDCE3/AsyncBoot
In linux kernel since version 2.6.32 (release Date: 2009-12-02)  
Select this option if you want support for EP93xx boards with the
first SDRAM bank at 0xf0000000.

is selected by
CONFIG_MACH_MICRO9M