div64: Use kernel types