kernel/configs/fedora/generic/CONFIG_SBC_EPX_C3_WATCHDOG