Re: [OpenBIOS] [PATCH v1 00/10] extract OF memory manager module