Created attachment 186290 [details]
I'm trying to run the GENERIC kernel on a Raspberry Pi 3, boot fails with attached log. By removing the TI board support code from kernel config, the kernel boots fine.
Olivier Houchard had a patch for this, although I'm not sure what happened to it.
A commit references this bug:
Date: Tue Sep 12 10:43:03 UTC 2017
New revision: 323490
Some devices come with the same name as TI devices, so we can't rely on the
"probe" method of those drivers to mean we're on e TI SoC. Introduce a new
function, ti_soc_is_supported(), and use it to be sure we're really a TI