Comment # 23 on bug 1188234 from Michal Suchanek

Apparently u-boot or grub picked up an obsolete device tree from somewhere.

After erasing all other OS installations I can no longer reproduce the problem.

This means that the solution is fragile but working.