so device tree overlays are moving from linux to u-boot? that seems... crazy?