Integrator boot loaders pass all the relevant information to the
kernel, there is no need to add code to provide this information.