CONFIG_ARCH_BERLIN is not available for thedefaultarchitecture x86.
Result is shown for architecture arm
Marvell Berlin SoCs
configname: CONFIG_ARCH_BERLIN
Linux Kernel Configuration
└─>Marvell Berlin SoCs
In linux kernel since version 3.10 (release Date: 2013-06-30)
selects
CONFIG_ARM_GICCONFIG_GENERIC_CLOCKEVENTS
CONFIG_GENERIC_IRQ_CHIP
CONFIG_COMMON_CLK
CONFIG_DW_APB_ICTL
CONFIG_DW_APB_TIMER_OF