kernel/baseconfig/CONFIG_ABX500_CORE