kernel/configs/fedora/generic/arm/CONFIG_SENSORS_GPIO_FAN