[OpenBIOS] [PATCH][RFC] SPARC32 : Free DVMA area