Devicetree state of U-Boot vs kernel