[OpenBIOS] [RFC] Free DVMA area : Available memory on PowerPC and Sparc64