Copy out a plain kernel too