Re: [OS-BUILD PATCH] Clean up the config for the Tegra186 timer
From: Mark Salter on gitlab.com
https://gitlab.com/cki-project/kernel-ark/-/merge_requests/2166#note_1188...
Well that was premature. You need to leave the fedora configs as they are and
change the ark config (and it can be moved into ark/generic/arm.