I've just updated our gnu device tree sources. I've tested them where I can, but if you find issues, e.g. devices not attaching or the kernel failing to boot, please report them so we can fix them for 11-RELEASE. Andrew