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