[OpenBIOS] Adding to the device tree