From: Al Stone on
gitlab.com
https://gitlab.com/cki-project/kernel-ark/-/merge_requests/2166#note_1191...
TIL: 'make dist-configs' != 'make dist-rhel-configs && make
dist-fedora-
configs'
Sorry about that -- bad testing on my part; this version of the patch is a tad
simpler. Default CONFIG_TEGRA186_TIMER to not set, but turn it on for
aarch64, for all flavors.