kboot_copyout
ssize_t kboot_copyout(vm_offset_t src, void *dest, const size_t len);
.arch_copyout = kboot_copyout,