the bootinfo to be located in the first page of kernel text (which has been zero-filled for a Very Long Time to allow us to unmap KVA 0); the boot loader will place it there after loading the kernel image.