[LinuxBIOS] [Fwd: Re: /proc/device-tree is working]