Update sceKernel.h