CONFIG_EFI_ARMSTUB (not configurable)

configname: CONFIG_EFI_ARMSTUB

Linux Kernel Configuration
└─>Firmware Drivers
└─>EFI (Extensible Firmware Interface) Support
└─>EFI_ARMSTUB
In linux kernel since version 3.10 (release Date: 2013-06-30)  
depends
CONFIG_EFI

is depended by
CONFIG_EFI