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