kernel/configs/fedora/generic/arm/CONFIG_RTC_DRV_ARMADA38X