Got u-boot with device tree overlays working, naturally it was a bug in the proprietary ATF that one can work around by just not passing it the device tree at all. Good stuff.