Re: [LinuxBIOS] [PATCH] Add pointer to device tree to LinuxBIOS table