Re: [OpenBIOS] [PATCH 0/7] Assorted OpenBIOS memory fixes