Don't use __kernel_ulong_t.

Change-Id: Ifdfbac0ac6da647276a84bd64bb342bb5a07ad61
1 file changed