Re: Devicetree state of U-Boot vs kernel