[OpenBIOS] [PATCH 0/4] Paving the way for ppc64