[OpenBIOS] [PATCH 08/11] ppc: use proper context when pre-loading kernels