Hi, Sorry, no messaging quoting, I was not subscribed to the list at that time.
Merging this change into master actually broke the SPL on Atmel/Microchip SAMA5D3, at least booting from MMC: RomBOOT <debug_uart> Could not initialize timer (err -11) Could not initialize timer (err -11) Could not initialize timer (err -11) ... I'll look for a fix, but suggestions are welcome! Cheers, Michael. -- Michael Opdenacker, CEO, Bootlin Embedded Linux and Kernel engineering https://bootlin.com