kernel/configs/fedora/generic/arm/CONFIG_BCM2835_WDT