[OpenBIOS] [PATCH] OBP Memory deallocation