176a177,184
>
> for (const auto &obj_name : p->kernel_extras) {
> inform("Loading additional kernel object: %s", obj_name);
> ObjectFile *obj = createObjectFile(obj_name);
> fatal_if(!obj, "Failed to additional kernel object '%s'.\n",
> obj_name);
> kernelExtras.push_back(obj);
> }
314a323,326
> for (const auto &extra_kernel : kernelExtras) {
> extra_kernel->loadSections(physProxy, loadAddrMask,
> loadAddrOffset);
> }