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