Complete boot_alloc