vkernel64 - Make operational again after bootstrap changes