.
Thank you. That did the trick. I’m a bit embarrassed that I did not think of that myself.
Maybe it would be wise to amend CoreElec’s How to update CoreElec with this instruction to update the devicetree.
What I do not know is whether or not the update of the devicetree is needed every time you update CoreElec. If that is the case, it would break the automatic update of CoreElec.
Thanks,
Baderks