VM_KERN_ADDRESS_SIZE
#define VM_MAX_KERNEL_ADDRESS (VM_MIN_KERNEL_ADDRESS + VM_KERN_ADDRESS_SIZE)
vaddr_t ppc_kvm_stolen = VM_KERN_ADDRESS_SIZE;