The following options aren't enabled in the .config file used by the Fedora ARM kernel: CONFIG_PINCTRL_AS3722=y CONFIG_POWER_RESET_AS3722=y CONFIG_MFD_AS3722=y CONFIG_REGULATOR_AS3722=m CONFIG_RTC_DRV_AS3722=y These are needed for full HW support of the NVIDIA Tegra Jetson TK1 board. (Note I'm working from the .config file that Peter Robinson sent me, although looking at the Fedora kernel package's config-*, this issue does apply to the kernel package)
Pushed to rawhide kernel master branch. Will be in next build/compose.
And thanks a lot for testing :)