[OpenBIOS] [RFC PATCH 0/2] implement device nodes needed by xnu kernel