Re: [OpenBIOS] [PATCH 0/8] extract OF memory manager module