/* * This is called early in boot to set the base address and size * of the mini-root. */