[OpenBIOS] advice/help on OF device nodes?