[OpenBIOS] [PATCH 1/4] ppc: add bootindex support